Nested protocols in session types

DOI10.1007/978-3-642-32940-1_20MaRDI QIDQ2914375zbMATH OpenOpenAlexFDO

Authors Romain Demangeon, Kohei Honda

Publication date 25 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32940-1_20

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Nested session types
• Subtyping for session types in the pi calculus
• Session types revisited
• Context-free session types
• Subtyping Supports Safe Session Substitution

Cited in

(15)

• Communicating finite state machines and an extensible toolchain for multiparty session types
• Nested session types
• Multiparty session types as coherence proofs
• A gentle introduction to multiparty asynchronous session types
• Lightening global types
• Monitoring networks through multiparty session types
• Global escape in multiparty sessions
• Global progress for dynamically interleaved multiparty sessions
• Domain-aware session types
• Deconfined Global Types for Asynchronous Sessions
• Functional choreographic programming
• Partially Typed Multiparty Sessions
• Completeness of asynchronous session tree subtyping in Coq
• Partial typing for asynchronous multiparty sessions
• Formalising asynchronous session subtyping

This page was built for publication: Nested protocols in session types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914375)