"Generating Litmus Tests for Contrasting Memory Consistency Models."

Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics