"Verifying Local Transformations on Relaxed Memory Models."

Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics