The Conversation Calculus: A Model of Service-Oriented Computation
From MaRDI portal
Publication:5458402
DOI10.1007/978-3-540-78739-6_21zbMath1133.68388MaRDI QIDQ5458402
Hugo Torres Vieira, Luís Caires, João C. Seco
Publication date: 11 April 2008
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_21
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A calculus of mobile processes. I
- The seal calculus
- Spatial-Behavioral Types, Distributed Services, and Resources
- The Conversation Calculus: A Model of Service-Oriented Computation
- Communicating Sequential Processes. The First 25 Years
- A Calculus for Orchestration of Web Services
- Structured Communication-Centred Programming for Web Services
- A Language for Task Orchestration and Its Semantic Properties