Relating Session Types and Behavioural Contracts: The Asynchronous Case

DOI10.1007/978-3-030-30446-1_2MaRDI QIDQ6488975zbMATH OpenFDO

Authors Mario Bravetti, Gianluigi Zavattaro

Publication date 14 March 2024

Mathematics Subject Classification ID

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

Recommendations

• Undecidability of asynchronous session subtyping
• On the boundary between decidability and undecidability of asynchronous session subtyping
• On the undecidability of asynchronous session subtyping
• Fair asynchronous session subtyping
• Sub-behaviour relations for session-based client/server systems

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A Petri Net Based Modeling of Active Objects and Futures
• A calculus of mobile processes. I
• A ground-complete axiomatisation of finite-state processes in a generic process algebra
• A simple library implementation of binary sessions
• A theory of contracts for web services
• Contract Based Multi-party Service Composition
• Effects as sessions, sessions as effects
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• Modelling session types using contracts
• On Communicating Finite-State Machines
• On the boundary between decidability and undecidability of asynchronous session subtyping
• On the expressive power of process interruption and compensation
• On the preciseness of subtyping in session types
• On the undecidability of asynchronous session subtyping
• Reduction semantics in Markovian process algebra
• Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
• Subtyping for session types in the pi calculus
• The Must Preorder Revisited
• Undecidability of asynchronous session subtyping

Cited in

(2)

• From behavioural contracts to session types
• Fair asynchronous session subtyping

This page was built for publication: Relating Session Types and Behavioural Contracts: The Asynchronous Case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488975)