HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Coherence Generalises Duality: a logical explanation of multiparty session types

Complete list of metadata

https://hal.inria.fr/hal-01336600
Contributor : Fabrizio Montesi Connect in order to contact the contributor
Submitted on : Thursday, June 23, 2016 - 1:43:28 PM
Last modification on : Wednesday, November 24, 2021 - 9:54:10 AM

Identifiers

  • HAL Id : hal-01336600, version 1

Citation

Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler. Coherence Generalises Duality: a logical explanation of multiparty session types. 27 International Conference on Concurrency Theory (CONCUR'16), Aug 2016, Québec City, Canada. ⟨hal-01336600⟩

Share

Metrics

Record views

30