Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models.

Nicholas Coughlin, Kirsten Winter, Graeme Smith

Browse the full FM paper archive.