SOCK: A Calculus for Service Oriented Computing

This publication has 8 references indexed in Scilit:

• JOLIE: a Java Orchestration Language Interpreter Engine
  Electronic Notes in Theoretical Computer Science, 2007
• A pi-calculus based semantics for WS-BPEL
  The Journal of Logic and Algebraic Programming, 2007
• Computation Orchestration
  Software and Systems Modeling, 2006
• Mobility Mechanisms in Service Oriented Computing
  Published by Springer Nature ,2006
• Choreography and Orchestration Conformance for System Design
  Published by Springer Nature ,2006
• Choreography and Orchestration: A Synergic Approach for System Design
  Published by Springer Nature ,2005
• SERVICE-ORIENTED DESIGN: A MULTI-VIEWPOINT APPROACH
  International Journal of Cooperative Information Systems, 2004
• Formal verification of parallel programs
  Communications of the ACM, 1976