An Observational Model for Transactional Calculus of Services Orchestration
- 22 August 2008
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Algebraic Semantics for Compensable TransactionsPublished by Springer Nature ,2007
- A Calculus for Orchestration of Web ServicesPublished by Springer Nature ,2007
- SCC: A Service Centered CalculusPublished by Springer Nature ,2006
- SOCK: A Calculus for Service Oriented ComputingPublished by Springer Nature ,2006
- 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
- Transactions in RCCSPublished by Springer Nature ,2005
- Executable Semantics for Compensating CSPPublished by Springer Nature ,2005
- A Calculus for Long-Running TransactionsPublished by Springer Nature ,2003
- SagasPublished by Association for Computing Machinery (ACM) ,1987