Progress as Compositional Lock-Freedom.

Marco Carbone Ornela Dardha Fabrizio Montesi

Published in: COORDINATION (2014)

Keyphrases

concurrency control
information systems
data analysis
computer vision