Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking.

Prosenjit Chatterjee Hemanthkumar Sivaraj Ganesh Gopalakrishnan Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. 123-136 2002 conf/cav/2002 CAV http://link.springer.de/link/service/series/0558/bibs/2404/24040123.htm db/conf/cav/cav2002.html#ChatterjeeSG02