Progress as Compositional Lock-Freedom - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-01090742 , version 1

Cite

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
54 View
0 Download

Share

Gmail Facebook X LinkedIn More