Sequential consistency versus linearizability (1994)

by H Attiya, J L Welch
Venue:ACM Trans. Comput. Syst