Conference Papers
Year :
Fabrizio Montesi : Connect in order to contact the contributor
https://inria.hal.science/hal-01231453
Submitted on : Friday, November 20, 2015-12:09:54 PM
Last modification on : Friday, August 5, 2022-12:35:03 PM
Dates and versions
Identifiers
- HAL Id : hal-01231453 , version 1
- DOI : 10.4230/LIPIcs.CONCUR.2015.412
Cite
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida. Multiparty Session Types as Coherence Proofs. 26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.412⟩. ⟨hal-01231453⟩
15
View
0
Download