Marco Carbone, Ornela Dardha, Fabrizio Montesi. Progress as Compositional Lock-Freedom. Eva Kühn; Rosario Pugliese. Coordination Models and Languages : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Fed
HAL Archives-Ouvertes,
Marco Carbone, Ornela Dardha, Fabrizio Montesi. Progress as Compositional Lock-Freedom.