"Weak persistency semantics from the ground up: formalising the persistency ..."

Azalea Raad, John Wickerson, Viktor Vafeiadis (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics