Formalising asynchronous session subtyping
From MaRDI portal
Cites work
- \textbf{Actris 2.0}: asynchronous session-type based reasoning in separation logic
- A formal theory of choreographic programming
- A higher-order logic for concurrent termination-preserving refinement
- A sound and complete projection for global types
- Completeness of asynchronous session tree subtyping in Coq
- Fair refinement for asynchronous session types
- Full abstraction in a subtyped pi-calculus with linear types
- Higher-order ghost state
- scientific article; zbMATH DE number 7327953 (Why is no real title available?)
- Iris from the ground up: a modular foundation for higher-order concurrent separation logic
- Iris: monoids and invariants as an orthogonal basis for concurrent reasoning
- Kalas: a verified, end-to-end compiler for a choreographic language
- Linear type theory for asynchronous session types
- Multiparty Asynchronous Session Types
- Nested protocols in session types
- On Communicating Finite-State Machines
- On the boundary between decidability and undecidability of asynchronous session subtyping
- On the preciseness of subtyping in session types
- On the undecidability of asynchronous session subtyping
- Precise Subtyping for Asynchronous Multiparty Sessions
- Precise subtyping for synchronous multiparty sessions
- Subtyping for session types in the pi calculus
- The essence of higher-order concurrent separation logic
- The power of parameterization in coinductive proof
- Undecidability of asynchronous session subtyping
This page was built for publication: Formalising asynchronous session subtyping
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7325539)
