Progress as Compositional Lock-Freedom.

Marco Carbone, Ornela Dardha, Fabrizio Montesi

Browse the full Coordination paper archive.