Shared memory consistency protocol verification against weak memory models: Refinement via model-checking (2002)

by P Chatterjee, H Sivaraj, G Gopalakrishnan
Venue:In in Computer Aided Verification, Lecture Notes in Computer Science