Proving Linearizability Using Forward Simulations.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil

Browse the full CAV paper archive.