Aspect-Oriented Linearizability Proofs.

Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis

Browse the full CONCUR paper archive.