scientific article; zbMATH DE number 6851955

DOI10.4230/LIPICS.CONCUR.2016.33MaRDI QIDQ4608685zbMATH OpenFDO

Authors Marco Carbone, Sam Lindley, Fabrizio Montesi, Philip Wadler, Carsten Schürmann

Publication date 21 March 2018

Full work available at URL https://doi.org/10.4230/LIPICS.CONCUR.2016.33

zbMATH Keywords

linear logicmultiparty session typespropositions as types

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Multiparty session types as coherence proofs
• scientific article; zbMATH DE number 6774227
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond
• Multiparty session types, beyond duality
• On duality relations for session types
• Session coalgebras: a coalgebraic view on session types and communication protocols
• Exploring type-level bisimilarity towards more expressive multiparty session types
• Generalising Projection in Asynchronous Multiparty Session Types.
• scientific article; zbMATH DE number 4055007

Cited in

(15)

• Composition and decomposition of multiparty sessions
• Certifying choreography compilation
• Multiparty session types as coherence proofs
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond
• The Paths to Choreography Extraction
• Linearity, control effects, and behavioral types
• Classical higher-order processes (short paper)
• scientific article; zbMATH DE number 6774227 (Why is no real title available?)
• Domain-aware session types
• Stateful Behavioral Types for Active Objects
• Resource sharing via capability-based multiparty session types
• Fair termination of multiparty sessions
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
• Keep me out of the loop: a more flexible choreographic projection
• Less is more revisited: association with global protocols and multiparty sessions

This page was built for publication:

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