Choreographies, Logically

Type de document :
Communication dans un congrès
CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014, Sep 2014, Rome, Italy
Liste complète des métadonnées

https://hal.inria.fr/hal-01090741
Contributeur : Fabrizio Montesi <>
Soumis le : jeudi 4 décembre 2014 - 10:04:00
Dernière modification le : jeudi 4 décembre 2014 - 10:06:01

Identifiants

  • HAL Id : hal-01090741, version 1

Citation

Marco Carbone, Fabrizio Montesi, Carsten Schürmann. Choreographies, Logically. CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014, Sep 2014, Rome, Italy. 〈hal-01090741〉

Partager

Métriques

Consultations de la notice

17