A Trace Semantics for Long-Running Transactions
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 133-150
- https://doi.org/10.1007/11423348_8
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Theoretical foundations for compensations in flow composition languagesPublished by Association for Computing Machinery (ACM) ,2005
- An Operational Semantics for StAC, a Language for Modelling Long-Running Business TransactionsPublished by Springer Nature ,2004
- A Process Compensation LanguagePublished by Springer Nature ,2000
- SagasACM SIGMOD Record, 1987