Sequential consistency versus linearizability (1994)

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