SCC: A Service Centered Calculus

This publication has 14 references indexed in Scilit:

• A Calculus for Orchestration of Web Services
  Published by Springer Nature ,2007
• Computation Orchestration
  Software and Systems Modeling, 2006
• Choreography and Orchestration Conformance for System Design
  Published by Springer Nature ,2006
• XPi: A Typed Process Calculus for XML Messaging
  Published by Springer Nature ,2005
• Comparing Two Approaches to Compensable Flow Composition
  Published by Springer Nature ,2005
• PiDuce: A Process Calculus with Native XML Datatypes
  Published by Springer Nature ,2005
• Foundations of Web Transactions
  Published by Springer Nature ,2005
• Types and Subtypes for Client-Server Interactions
  Published by Springer Nature ,1999
• Language primitives and type discipline for structured communication-based programming
  Published by Springer Nature ,1998
• Functions as processes
  Mathematical Structures in Computer Science, 1992