Sequential Consistency versus Linearizability (1994)

by H Attiya, J L Welch
Venue:ACM Transactions on Computer Systems