Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines

DOI10.1007/978-3-540-79980-1_8zbMath1170.68428OpenAlexW1577894979MaRDI QIDQ5505419

Roberto Bruni, Leonardo Gaetano Mezzina

Publication date: 27 January 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79980-1_8

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 (7)

Conversation types ⋮ Combining behavioural types with security analysis ⋮ A formal model for service-oriented interactions ⋮ Deadlock checking by a behavioral effect system for lock handling ⋮ CaSPiS: a calculus of sessions, pipelines and services ⋮ Global progress for dynamically interleaved multiparty sessions ⋮ The stream-based service-centred calculus: a foundation for service-oriented programming

Uses Software

• COWS

Cites Work

• Subtyping for session types in the pi calculus
• A Type System for Client Progress in a Service-Oriented Calculus
• A Hybrid Type System for Lock-Freedom of Mobile Processes
• Recursive subtyping revealed
• A generic type system for the Pi-calculus
• Asynchronous Session Types and Progress for Object Oriented Languages
• A Calculus for Orchestration of Web Services
• Structured Communication-Centred Programming for Web Services
• A Language for Task Orchestration and Its Semantic Properties
• A New Type System for Deadlock-Free Processes

This page was built for publication: Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines