Asynchronous global protocols, precisely
From MaRDI portal
Cites work
- A gentle introduction to multiparty asynchronous session types
- Communicating finite state machines and an extensible toolchain for multiparty session types
- Complete multiparty session type projection with automata
- Crash-stop failures in asynchronous multiparty session types
- Formalising asynchronous session subtyping
- Formalising subject reduction and progress for multiparty session processes
- Full abstraction in a subtyped pi-calculus with linear types
- Global progress for dynamically interleaved multiparty sessions
- scientific article; zbMATH DE number 7327953 (Why is no real title available?)
- Less is more revisited: association with global protocols and multiparty sessions
- Multiparty asynchronous session types
- Multiparty Asynchronous Session Types
- Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
- Multiparty session types meet communicating automata
- On Communicating Finite-State Machines
- On the preciseness of subtyping in session types
- On the undecidability of asynchronous session subtyping
- Parameterised multiparty session types
- Precise Subtyping for Asynchronous Multiparty Sessions
- Precise subtyping for synchronous multiparty sessions
- Session-Based Communication Optimisation for Higher-Order Mobile Processes
- Subtyping for session types in the pi calculus
- Types and programing languages
- Undecidability of asynchronous session subtyping
This page was built for publication: Asynchronous global protocols, precisely
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7353784)
