Coherence Generalises Duality: a logical explanation of multiparty session types

Type de document :
Communication dans un congrès
27 International Conference on Concurrency Theory (CONCUR'16), Aug 2016, Québec City, Canada
Liste complète des métadonnées

https://hal.inria.fr/hal-01336600
Contributeur : Fabrizio Montesi <>
Soumis le : jeudi 23 juin 2016 - 13:43:28
Dernière modification le : jeudi 26 octobre 2017 - 16:34:02

Identifiants

  • HAL Id : hal-01336600, version 1

Citation

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〉

Partager

Métriques

Consultations de la notice

28