An Observational Approach to Defining Linearizability on Weak Memory Models.

John Derrick, Graeme Smith

Browse the full FORTE paper archive.