Multiparty Session Types Within a Canonical Binary Theory, and Beyond

DOI10.1007/978-3-319-39570-8_6MaRDI QIDQ2827461zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Luís Caires, Jorge A. Pérez

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)

Recommendations

• Multiparty session types, beyond duality
• Multiparty session types as coherence proofs
• scientific article; zbMATH DE number 6774227
• Multiparty session types meet communicating automata
• Exploring type-level bisimilarity towards more expressive multiparty session types
• scientific article; zbMATH DE number 6851955
• Parameterised multiparty session types
• Parameterised Multiparty Session Types
• On the expressiveness of multiparty sessions

Cites work

• A theory of contracts for web services
• A theory of design-by-contract for distributed multiparty interactions
• Behavioral polymorphism and parametricity in session-based communication
• Corecursion and non-divergence in session-typed processes
• Correspondence assertions for process synchronization in concurrent communications
• Deadlock and lock freedom in the linear \(\pi\)-calculus
• Deadlock-freedom-by-design, multiparty asynchronous global programming
• From communicating machines to graphical choreographies
• Global progress for dynamically interleaved multiparty sessions
• Lightening global types
• Linear logical relations and observational equivalences for session-based concurrency
• Multiparty asynchronous session types
• Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
• Multiparty session types as coherence proofs
• On the expressiveness of multiparty sessions
• Propositions as sessions
• Session types as intuitionistic linear propositions

Cited in

(16)

• scientific article; zbMATH DE number 7649947 (Why is no real title available?)
• A simple library implementation of binary sessions
• Session types and subtyping for orchestrated interactions
• scientific article; zbMATH DE number 6774227 (Why is no real title available?)
• Multiparty symmetric sum types
• Partial and complete processes in multiparty sessions
• Linearity, control effects, and behavioral types
• Exploring type-level bisimilarity towards more expressive multiparty session types
• Binary session types for psi-calculi
• Conversation types
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
• Composition and decomposition of multiparty sessions
• Conversation Types
• scientific article; zbMATH DE number 6851955 (Why is no real title available?)
• scientific article; zbMATH DE number 7559468 (Why is no real title available?)
• Multiparty session types as coherence proofs

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

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