Progress as Compositional Lock-Freedom

Type de document :
Communication dans un congrès
Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Jun 2014, Berlin, Germany
Liste complète des métadonnées

https://hal.inria.fr/hal-01090742
Contributeur : Fabrizio Montesi <>
Soumis le : jeudi 4 décembre 2014 - 10:06:45
Dernière modification le : samedi 27 janvier 2018 - 01:31:00

Identifiants

  • HAL Id : hal-01090742, version 1

Collections

Citation

Marco Carbone, Ornela Dardha, Fabrizio Montesi. Progress as Compositional Lock-Freedom. Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Jun 2014, Berlin, Germany. 〈hal-01090742〉

Partager

Métriques

Consultations de la notice

141