An Operational Semantics for Stac, a Language for Modelling Long-Running Business Transactions
AuthID
P-000-CH7
P-000-CH7
© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service