Sequential consistency versus linearizability (1994)

by Hagit Attiya, Jennifer L Welch
Venue:ACM TOCS