A Calculus for Orchestration of Web Services
Abstract elided by the publisher.
Related papers
- Structured Communication-Centered Programming for Web Services TOPLAS 2012
- A semantics for web services authentication POPL 2004
- Objectively: Components versus Web Services ECOOP 2002
- Towards Declarative Programming for Web Services SAS 2004
- A Basic Contract Language for Web Services ESOP 2006
- Structured Communication-Centred Programming for Web Services ESOP 2007
- WSAT: A Tool for Formal Analysis of Web Services CAV 2004
- Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses CAV 2016