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

Full work available at URL https://doi.org/10.1007/978-3-030-30446-1_2

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

• A calculus of mobile processes. I
• A ground-complete axiomatisation of finite-state processes in a generic process algebra
• A Petri Net Based Modeling of Active Objects and Futures
• 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
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• 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)