Subtyping Supports Safe Session Substitution

DOI10.1007/978-3-319-30936-1_5zbMath1343.68056OpenAlexW4233294560MaRDI QIDQ3188281

Simon J. Gay

Publication date: 17 August 2016

Published in: A List of Successes That Can Change the World (Search for Journal in Brave)

Full work available at URL: http://eprints.gla.ac.uk/114485/7/114485.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types ⋮ Precise subtyping for synchronous multiparty sessions ⋮ Session-based concurrency in Maude: executable semantics and type checking ⋮ On the boundary between decidability and undecidability of asynchronous session subtyping ⋮ On the Undecidability of Asynchronous Session Subtyping ⋮ Composition and decomposition of multiparty sessions

Cites Work

• Type systems for distributed programs: components and sessions
• Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
• Session types revisited
• Subtyping for session types in the pi calculus
• Full Abstraction in a Subtyped pi-Calculus with Linear Types
• Multiparty asynchronous session types
• Bounded polymorphism in session types
• Two Session Typing Systems for Higher-Order Mobile Processes
• Structured Communication-Centred Programming for Web Services
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item