"Shared Memory Consistency Protocol Verification Against Weak Memory ..."

Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics