Progress as Compositional Lock-Freedom - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014
Fichier non déposé

Dates et versions

hal-01090742 , version 1 (04-12-2014)

Identifiants

  • HAL Id : hal-01090742 , version 1

Citer

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⟩

Collections

INRIA INRIA2
58 Consultations
0 Téléchargements

Partager

More