CaSPiS: a calculus of sessions, pipelines and services
From MaRDI portal
Publication:5740635
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
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
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
