Proving Linearizability Via Non-atomic Refinement.

John Derrick, Gerhard Schellhorn, Heike Wehrheim

Browse the full IFM paper archive.