The Conversation Calculus: A Model of Service-Oriented Computation

DOI10.1007/978-3-540-78739-6_21zbMath1133.68388OpenAlexW1552587784MaRDI QIDQ5458402

Luís Caires, João C. Seco, Hugo Torres Vieira

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (20)

A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions ⋮ Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python ⋮ Conversation types ⋮ An accessible verification environment for UML models of services ⋮ Towards a process calculus for REST: current state of the art ⋮ A formal model for service-oriented interactions ⋮ Associative composition of components with double-sided interfaces ⋮ Lightening global types ⋮ Enabling synchronous and asynchronous communications in CSP for SOC ⋮ CaSPiS: a calculus of sessions, pipelines and services ⋮ Global escape in multiparty sessions ⋮ Global progress for dynamically interleaved multiparty sessions ⋮ A coordination protocol language for power grid operation control ⋮ Unnamed Item ⋮ The stream-based service-centred calculus: a foundation for service-oriented programming ⋮ The Conversation Calculus: A Model of Service-Oriented Computation ⋮ MarCaSPiS: a Markovian Extension of a Calculus for Services ⋮ On the expressive power of process interruption and compensation ⋮ A Type Theory for Robust Failure Handling in Distributed Systems ⋮ Reversible sessions with flexible choices

Uses Software

• COWS

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

This page was built for publication: The Conversation Calculus: A Model of Service-Oriented Computation