Model Checking Simulation Rules for Linearizability.

Graeme Smith

Browse the full SEFM paper archive.