Coherence Generalises Duality: a logical explanation of multiparty session types

Marco Carbone 1 Sam Lindley 2 Fabrizio Montesi 3 Carsten Schürmann 1 Philip Wadler 2
1 IT University of Copenhagen
2 University of Edinburgh
3 University of Southern Denmark (DENMARK)
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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

33

Contact


archive-ouverte@inria.fr