Linearizability: A correctness condition for concurrent objects. (1990)

by M Herlihy, J M Wing
Venue:ACM Trans. Program. Lang. Syst.,