Executable Semantics for Compensating CSP
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 243-256
- https://doi.org/10.1007/11549970_18
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Theoretical foundations for compensations in flow composition languagesPublished by Association for Computing Machinery (ACM) ,2005
- A Trace Semantics for Long-Running TransactionsPublished by Springer Nature ,2005
- Comparing Two Approaches to Compensable Flow CompositionPublished by Springer Nature ,2005
- Foundations of Web TransactionsPublished by Springer Nature ,2005
- A calculus of mobile processes, IPublished by Elsevier ,2004
- An Operational Semantics for StAC, a Language for Modelling Long-Running Business TransactionsPublished by Springer Nature ,2004
- ProB: A Model Checker for BPublished by Springer Nature ,2003
- A Calculus for Long-Running TransactionsPublished by Springer Nature ,2003
- A Process Compensation LanguagePublished by Springer Nature ,2000