Algebraic Semantics for Compensable Transactions

This publication has 11 references indexed in Scilit:

• A Denotational Approach to Scope-Based Compensable Flow Language for Web Service
  Published by Springer Nature ,2007
• Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service
  Published by Springer Nature ,2006
• Towards the Semantics for Web Service Choreography Description Language
  Published by Springer Nature ,2006
• Theoretical foundations for compensations in flow composition languages
  Published by Association for Computing Machinery (ACM) ,2005
• A Trace Semantics for Long-Running Transactions
  Published by Springer Nature ,2005
• Comparing Two Approaches to Compensable Flow Composition
  Published by Springer Nature ,2005
• Executable Semantics for Compensating CSP
  Published by Springer Nature ,2005
• An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
  Published by Springer Nature ,2004
• A Process Compensation Language
  Published by Springer Nature ,2000
• Sagas
  Published by Association for Computing Machinery (ACM) ,1987