Rajnish Ghughal, Ganesh Gopalakrishnan. Verification Methods for Weaker Shared Memory Consistency Models. In José D. P. Rolim, editor, Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings. Volume 1800 of Lecture Notes in Computer Science, pages 985-992, Springer, 2000. [doi]
Abstract is missing.