Linearizability: a correctness condition for concurrent objects (1990)

by Maurice P Herlihy, Jeannette M Wing
Venue:ACM TOPLAS