Communication Dans Un Congrès
Année : 2015
Fabrizio Montesi : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01231453
Soumis le : vendredi 20 novembre 2015-12:09:54
Dernière modification le : vendredi 5 août 2022-12:35:03
Dates et versions
Identifiants
- HAL Id : hal-01231453 , version 1
- DOI : 10.4230/LIPIcs.CONCUR.2015.412
Citer
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
Consultations
0
Téléchargements