Subtyping Supports Safe Session Substitution
From MaRDI portal
Recommendations
- On the preciseness of subtyping in session types
- Subtyping for session types in the pi calculus
- Fair subtyping for open session types
- Fair subtyping for multi-party session types
- Theoretical Computer Science
- A Sound Algorithm for Asynchronous Session Subtyping
- scientific article; zbMATH DE number 7559468
- Precise subtyping for synchronous multiparty sessions
Cites work
- Bounded polymorphism in session types
- Full abstraction in a subtyped pi-calculus with linear types
- scientific article; zbMATH DE number 954809 (Why is no real title available?)
- scientific article; zbMATH DE number 1398002 (Why is no real title available?)
- Multiparty asynchronous session types
- On the preciseness of subtyping in session types
- Session types revisited
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- Structured Communication-Centred Programming for Web Services
- Subtyping for session types in the pi calculus
- The -calculus: A theory of mobile processes
- Two Session Typing Systems for Higher-Order Mobile Processes
- Type systems for distributed programs: components and sessions
- Types and programing languages
Cited in
(23)- On the boundary between decidability and undecidability of asynchronous session subtyping
- Composition and decomposition of multiparty sessions
- Characteristic formulae for session types
- Precise subtyping for synchronous multiparty sessions
- Subtyping for session types in the pi calculus
- On duality relations for session types
- Compliance and subtyping in timed session types
- Nested protocols in session types
- On the undecidability of asynchronous session subtyping
- Bounded polymorphism in session types
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
- Session types at the mirror
- Fair subtyping for open session types
- Deriving session and union types for objects
- Fair subtyping for multi-party session types
- Session-based concurrency in Maude: executable semantics and type checking
- Fair termination of multiparty sessions
- A logical account of subtyping for session types
- Subtyping context-free session types
- Subtyping context-free session types
- Inference systems with corules for fair subtyping and liveness properties of binary session types
- Less is more revisited: association with global protocols and multiparty sessions
- A sound and complete characterization of fair asynchronous session subtyping
This page was built for publication: Subtyping Supports Safe Session Substitution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3188281)
