Martha Jane Kosa
The Univ. of North Carolina at Chapel Hill
Sequential consistency versus linearizability
ACM Transactions on Computer Systems (TOCS)