Proving sequential consistency of high-performance shared memories (1991)

by Phillip B Gibbons, Michael Merritt, Kourosh Gharachorloo
Venue:In Symposium on Parallel Algorithms and Architectures