A Calculus for Orchestration of Web Services

Publisher Website

1 January 2007

book chapter
Published by Springer Nature

p. 33-47
https://doi.org/10.1007/978-3-540-71316-6_4

Abstract

No abstract available

Keywords

This publication has 23 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: A Synergic Approach for System Design
Published by Springer Nature ,2005
Resource Usage Analysis for the π-Calculus
Published by Springer Nature ,2005
A calculus of mobile processes, I
Published by Elsevier ,2004
A generic type system for the Pi-calculus
Theoretical Computer Science, 2004
A Calculus for Long-Running Transactions
Published by Springer Nature ,2003
Types as models
ACM SIGPLAN Notices, 2002
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science, 1999
The update calculus
Published by Springer Nature ,1997