Proving Linearizability Using Partial Orders.

Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson

Browse the full ESOP paper archive.