From atomic variables to data-centric concurrency control. - Hervé Paulino; Daniel Parreira; Nuno Delgado; António Ravara; Ana Gualdina Almeida Matos (SAC, 2016)