Multiparty Session Types as Coherence Proofs

Type de document :
Communication dans un congrès
26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. 〈10.4230/LIPIcs.CONCUR.2015.412〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01231453
Contributeur : Fabrizio Montesi <>
Soumis le : vendredi 20 novembre 2015 - 12:09:54
Dernière modification le : vendredi 20 novembre 2015 - 12:09:54

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

16