Multiparty session types as coherence proofs

Marco Carbone, Fabrizio Montesi, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'Multiparty session types as coherence proofs'. Together they form a unique fingerprint.

Keyphrases

Computer Science