Proving Sequential Consistency of HighPerformance Shared Memories (1991)

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