Skip to Main content Skip to Navigation
New interface
Conference papers

Progress as Compositional Lock-Freedom

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01090742
Contributor : Fabrizio Montesi Connect in order to contact the contributor
Submitted on : Thursday, December 4, 2014 - 10:06:45 AM
Last modification on : Friday, August 5, 2022 - 12:35:03 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

52