"Litmus tests for comparing memory consistency models: how long do they ..."

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