Multiparty session types as coherence proofs

DOI10.1007/s00236-016-0285-yzbMath1371.68049OpenAlexW2553788418WikidataQ113905931 ScholiaQ113905931MaRDI QIDQ2357654

Fabrizio Montesi, Carsten Schuermann, Marco Carbone, Nobuko Yoshida

Publication date: 14 June 2017

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-016-0285-y

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (5)

Applied Choreographies ⋮ A Theory of Formal Choreographic Languages ⋮ A core model for choreographic programming ⋮ Unnamed Item ⋮ Multiparty Session Types Within a Canonical Binary Theory, and Beyond

Uses Software

• Scribble

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Fundamentals of session types
• On the \(\pi\)-calculus and linear logic
• A Semantics for Propositions as Sessions
• From Communicating Machines to Graphical Choreographies
• Compositional Choreographies
• Propositions as sessions
• On Global Types and Multi-Party Session
• Synthesising Choreographies from Local Session Types
• Nested Protocols in Session Types
• Deadlock-freedom-by-design
• Behavioural Analysis of Sessions Using the Calculus of Structures
• Multiparty asynchronous session types
• Choreographies, Logically
• Session Types as Intuitionistic Linear Propositions
• Propositions as sessions
• 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
• Globally Governed Session Semantics

This page was built for publication: Multiparty session types as coherence proofs