Proving Sequential Consistency of High-Performance Shared Memories (Extended Abstract).

Phillip B. Gibbons, Michael Merritt, Kourosh Gharachorloo

Browse the full SPAA paper archive.