A Framework for Correctness Criteria on Weak Memory Models.

John Derrick, Graeme Smith

Browse the full FM paper archive.