Relating Session Types and Behavioural Contracts: The Asynchronous Case
From MaRDI portal
Publication:6488975
DOI10.1007/978-3-030-30446-1_2MaRDI QIDQ6488975FDOQ6488975
Authors: Mario Bravetti, Gianluigi Zavattaro 
Publication date: 14 March 2024
Recommendations
Cites Work
- Title not available (Why is that?)
- A calculus of mobile processes. I
- Contract Based Multi-party Service Composition
- The Must Preorder Revisited
- On Communicating Finite-State Machines
- Subtyping for session types in the pi calculus
- A theory of contracts for web services
- Modelling session types using contracts
- On the expressive power of process interruption and compensation
- A ground-complete axiomatisation of finite-state processes in a generic process algebra
- On the boundary between decidability and undecidability of asynchronous session subtyping
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- Undecidability of asynchronous session subtyping
- On the undecidability of asynchronous session subtyping
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- A simple library implementation of binary sessions
- On the preciseness of subtyping in session types
- Effects as sessions, sessions as effects
- Reduction semantics in Markovian process algebra
- A Petri Net Based Modeling of Active Objects and Futures
Cited In (2)
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)
