Coherence Generalises Duality: a logical explanation of multiparty session types - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Coherence Generalises Duality: a logical explanation of multiparty session types

Marco Carbone
  • Function : Author
  • PersonId : 935683
Fabrizio Montesi
  • Function : Author
  • PersonId : 973085
Not file

Dates and versions

hal-01336600 , version 1 (23-06-2016)

Identifiers

  • HAL Id : hal-01336600 , version 1

Cite

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⟩
31 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More