Progress as Compositional Lock-Freedom

Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01090742
Contributor : Fabrizio Montesi <>
Submitted on : Thursday, December 4, 2014 - 10:06:45 AM
Last modification on : Friday, March 22, 2019 - 4:46: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

168