Coherence generalises duality: A logical explanation of multiparty session types

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

41 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Coherence generalises duality: A logical explanation of multiparty session types'. Together they form a unique fingerprint.

Computer Science

INIS