Sequential consistency versus linearizability

Hagit Attiya, Jennifer L. Welch
1994 ACM Transactions on Computer Systems  
doi:10.1145/176575.176576 fatcat:a6wuqskvkrbetage6xumf6z3i4