Multiparty Session Types Within a Canonical Binary Theory, and Beyond

DOI10.1007/978-3-319-39570-8_6zbMath1347.68026OpenAlexW2469507234WikidataQ57652364 ScholiaQ57652364MaRDI QIDQ2827461

Jorge A. Pérez, Luís Caires

Publication date: 19 October 2016

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01432929/file/426757_1_En_6_Chapter.pdf

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12)

Related Items (7)

Session types and subtyping for orchestrated interactions ⋮ Unnamed Item ⋮ A simple library implementation of binary sessions ⋮ Linearity, Control Effects, and Behavioral Types ⋮ Composition and decomposition of multiparty sessions ⋮ Unnamed Item ⋮ Prioritise the best variation

Cites Work

• Unnamed Item
• Linear logical relations and observational equivalences for session-based concurrency
• Lightening global types
• Multiparty session types as coherence proofs
• Corecursion and Non-divergence in Session-Typed Processes
• From Communicating Machines to Graphical Choreographies
• Propositions as sessions
• Deadlock-freedom-by-design
• A theory of contracts for web services
• Multiparty asynchronous session types
• A Theory of Design-by-Contract for Distributed Multiparty Interactions
• Session Types as Intuitionistic Linear Propositions
• Deadlock and lock freedom in the linear π-calculus
• Correspondence assertions for process synchronization in concurrent communications
• Behavioral Polymorphism and Parametricity in Session-Based Communication
• Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
• Global progress for dynamically interleaved multiparty sessions

This page was built for publication: Multiparty Session Types Within a Canonical Binary Theory, and Beyond