"Simplifying Linearizability Proofs with Reduction and Abstraction."

Tayfun Elmas et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics