Verifying Linearisability with Potential Linearisation Points.

John Derrick, Gerhard Schellhorn, Heike Wehrheim

Browse the full FM paper archive.