Simplifying Linearizability Proofs with Reduction and Abstraction.

Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran

Browse the full TACAS paper archive.