Choreography and Orchestration: A Synergic Approach for System Design
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 228-240
- https://doi.org/10.1007/11596141_18
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Towards a formal framework for ChoreographyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- Theoretical foundations for compensations in flow composition languagesPublished by Association for Computing Machinery (ACM) ,2005
- Reasoning About Interaction Patterns in ChoreographyPublished by Springer Nature ,2005
- Verifying the Conformance of Web Services to Global Interaction Protocols: A First StepPublished by Springer Nature ,2005
- Foundations of Web TransactionsPublished by Springer Nature ,2005
- Formalizing Web Service ChoreographiesElectronic Notes in Theoretical Computer Science, 2004
- A Framework for Generic Error Handling in Business ProcessesElectronic Notes in Theoretical Computer Science, 2004
- A semantics for web services authenticationPublished by Association for Computing Machinery (ACM) ,2004
- Branching time and abstraction in bisimulation semanticsJournal of the ACM, 1996
- Formal verification of parallel programsCommunications of the ACM, 1976