scientific article; zbMATH DE number 6851955

DOI10.4230/LIPICS.CONCUR.2016.33zbMath1392.68286MaRDI QIDQ4608685

Philip Wadler, Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schuermann

Publication date: 21 March 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logicmultiparty session typespropositions as types

Mathematics Subject Classification ID

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

Related Items (8)

Certifying choreography compilation ⋮ Stateful Behavioral Types for Active Objects ⋮ Separating Sessions Smoothly ⋮ Unnamed Item ⋮ The Paths to Choreography Extraction ⋮ Linearity, Control Effects, and Behavioral Types ⋮ Composition and decomposition of multiparty sessions ⋮ Prioritise the best variation

This page was built for publication: