Article Dans Une Revue
Logical Methods in Computer Science
Année : 2012
Giuseppe Castagna : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00694636
Soumis le : samedi 5 mai 2012-13:15:31
Dernière modification le : mardi 9 janvier 2024-12:34:04
Dates et versions
Identifiants
- HAL Id : hal-00694636 , version 1
- ARXIV : 1203.0780
- DOI : 10.2168/LMCS-8(1:24)2012
Citer
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani. On global types and multi-party sessions. Logical Methods in Computer Science, 2012, 8 (1), pp.1-45. ⟨10.2168/LMCS-8(1:24)2012⟩. ⟨hal-00694636⟩
Collections
21
Consultations
0
Téléchargements