Communication Dans Un Congrès
Année : 2016
Fabrizio Montesi : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01336600
Soumis le : jeudi 23 juin 2016-13:43:28
Dernière modification le : jeudi 7 mars 2024-12:32:05
Dates et versions
Identifiants
- HAL Id : hal-01336600 , version 1
Citer
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⟩
33
Consultations
0
Téléchargements