scientific article; zbMATH DE number 6851955

DOI10.4230/LIPICS.CONCUR.2016.33zbMATH Open1392.68286MaRDI QIDQ4608685FDOQ4608685

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

Publication date: 21 March 2018

Title of this publication is not available (Why is that?)

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

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)

Cited In (13)

• Fair termination of multiparty sessions
• Title not available (Why is that?)
• Certifying choreography compilation
• The Paths to Choreography Extraction
• Stateful Behavioral Types for Active Objects
• Title not available (Why is that?)
• Linearity, control effects, and behavioral types
• Classical higher-order processes (short paper)
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
• Composition and decomposition of multiparty sessions
• Multiparty session types as coherence proofs
• Resource sharing via capability-based multiparty session types
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond

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)