The Conversation Calculus: A Model of Service-Oriented Computation

DOI10.1007/978-3-540-78739-6_21MaRDI QIDQ5458402zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

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

Recommendations

• The stream-based service-centred calculus: a foundation for service-oriented programming
• Service oriented computing from a process algebraic perspective
• A formal model for service-oriented interactions
• Services as a Paradigm of Computation
• \textsf{MarCaSPiS}: a Markovian extension of a calculus for services

Cites work

• A Calculus for Orchestration of Web Services
• A calculus of mobile processes. I
• A Language for Task Orchestration and Its Semantic Properties
• Calculus. Concepts and methods
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 482761 (Why is no real title available?)
• Spatial-Behavioral Types, Distributed Services, and Resources
• Structured Communication-Centred Programming for Web Services
• The Conversation Calculus: A Model of Service-Oriented Computation
• The seal calculus

Cited in

(29)

• Associative composition of components with double-sided interfaces
• A coordination protocol language for power grid operation control
• Reversible sessions with flexible choices
• \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
• A type theory for robust failure handling in distributed systems
• Models for trustworthy service and process oriented systems
• A new strategy for distributed compensations with interruption in long-running transactions
• Verification of context-dependent channel-based service models
• Services as a Paradigm of Computation
• On the expressive power of process interruption and compensation
• A formal model for service-oriented interactions
• scientific article; zbMATH DE number 2036314 (Why is no real title available?)
• Affine sessions
• Lightening global types
• Enabling synchronous and asynchronous communications in CSP for SOC
• The Conversation Calculus: A Model of Service-Oriented Computation
• CaSPiS: a calculus of sessions, pipelines and services
• Global escape in multiparty sessions
• Global progress for dynamically interleaved multiparty sessions
• Structured Communication-Centred Programming for Web Services
• Conversation types
• An accessible verification environment for UML models of services
• Process calculi for modelling mobile, service-oriented, and collective autonomic systems
• Programming and reasoning about actors that share state
• Open compliance in multiparty sessions with partial typing
• The stream-based service-centred calculus: a foundation for service-oriented programming
• Service oriented computing from a process algebraic perspective
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Towards a process calculus for REST: current state of the art

Describes a project that uses

Uses Software

• COWS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458402)