Observational Models for Linearizability Checking on Weak Memory Models.

Kirsten Winter, Graeme Smith, John Derrick

Browse the full TASE paper archive.