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

by P B Gibbons, M Merritt, K Gharachorloo
Venue:In Proceedings of the 3rd Annual ACM Symposium on Parallel Algorithms and Architectures