Axioms for Concurrent Objects.

Maurice Herlihy, Jeannette M. Wing

Browse the full POPL paper archive.