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

• scientific article; zbMATH DE number 482761 (Why is no real title available?)
• A Calculus for Orchestration of Web Services
• A Language for Task Orchestration and Its Semantic Properties
• A calculus of mobile processes. I
• Calculus. Concepts and methods
• Communicating Sequential Processes. The First 25 Years
• 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

(27)

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

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)