Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack.

Jess Domnguez, Aleksandar Nanevski

Browse the full CONCUR paper archive.