Choreographies in Practice

Type de document :
Communication dans un congrès
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016), Jun 2016, Heraklion, Greece
Liste complète des métadonnées

https://hal.inria.fr/hal-01336605
Contributeur : Fabrizio Montesi <>
Soumis le : jeudi 23 juin 2016 - 13:48:33
Dernière modification le : mardi 6 septembre 2016 - 14:28:45

Identifiants

  • HAL Id : hal-01336605, version 1

Citation

Luís Cruz-Filipe, Fabrizio Montesi. Choreographies in Practice. 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016), Jun 2016, Heraklion, Greece. 〈hal-01336605〉

Partager

Métriques

Consultations de la notice

10