Multiparty Session Types as Coherence Proofs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Multiparty Session Types as Coherence Proofs

Marco Carbone
  • Function : Author
  • PersonId : 935683
Fabrizio Montesi
  • Function : Author
  • PersonId : 973085
Carsten Schürmann
  • Function : Author
Nobuko Yoshida
  • Function : Author
No file

Dates and versions

hal-01231453 , version 1 (20-11-2015)

Identifiers

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

Altmetric

Share

Gmail Facebook X LinkedIn More