CaSPiS: a calculus of sessions, pipelines and services

DOI10.1017/S0960129512000953zbMath1361.68161OpenAlexW2069353351WikidataQ124438986 ScholiaQ124438986MaRDI QIDQ5740635

Roberto Bruni, Rocco De Nicola, Michele Loreti, Michele Boreale

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129512000953

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

The stream-based service-centred calculus: a foundation for service-oriented programming ⋮ MarCaSPiS: a Markovian Extension of a Calculus for Services

Cites Work

• XPi: a typed process calculus for XML messaging
• A timed semantics of Orc
• Responsiveness in process calculi
• A fully abstract semantics for causality in the \(\pi\)-calculus
• A calculus of mobile processes. I
• MarCaSPiS: a Markovian Extension of a Calculus for Services
• Static Detection of Logic Flaws in Service-Oriented Applications
• A Type System for Client Progress in a Service-Oriented Calculus
• The Pairing of Contracts and Session Types
• Structured Interactional Exceptions in Session Types
• Coordination Via Types in an Event-Based Framework
• The Conversation Calculus: A Model of Service-Oriented Computation
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
• A Calculus for Orchestration of Web Services
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Structured Communication-Centred Programming for Web Services
• A Language for Task Orchestration and Its Semantic Properties
• Types and Effects for Resource Usage Analysis

This page was built for publication: CaSPiS: a calculus of sessions, pipelines and services