Coherence Generalises Duality: a logical explanation of multiparty session types - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Coherence Generalises Duality: a logical explanation of multiparty session types

Marco Carbone
  • Fonction : Auteur
  • PersonId : 935683
IT University of Copenhagen
Sam Lindley
  • Fonction : Auteur
University of Edinburgh
Fabrizio Montesi
  • Fonction : Auteur
  • PersonId : 973085
University of Southern Denmark
Carsten Schürmann
  • Fonction : Auteur
IT University of Copenhagen
Philip Wadler
  • Fonction : Auteur
University of Edinburgh

Domaines

Langage de programmation [cs.PL] Logique en informatique [cs.LO]

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

Fichier non déposé

Dates et versions

hal-01336600 , version 1 (23-06-2016)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
33 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More