The Conversation Calculus: A Model of Service-Oriented Computation

DOI10.1007/978-3-540-78739-6_21zbMATH Open1133.68388OpenAlexW1552587784MaRDI QIDQ5458402FDOQ5458402

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

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

Mathematics Subject Classification ID

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

Cites Work

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

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
• Reversible sessions with flexible choices
• A coordination protocol language for power grid operation control
• Service oriented computing from a process algebraic perspective
• Title not available (Why is that?)
• The Conversation Calculus: A Model of Service-Oriented Computation
• Services as a Paradigm of Computation
• CaSPiS: a calculus of sessions, pipelines and services
• The stream-based service-centred calculus: a foundation for service-oriented programming
• Affine sessions
• An accessible verification environment for UML models of services
• Conversation types
• Global progress for dynamically interleaved multiparty sessions
• Structured Communication-Centred Programming for Web Services
• A type theory for robust failure handling in distributed systems
• Process calculi for modelling mobile, service-oriented, and collective autonomic systems
• Verification of context-dependent channel-based service models
• 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

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)