- [1]
-
J. Alglave, L. Maranget, S. Sarkar, and P. Sewell.
Fences in
Weak Memory Models.
In CAV, 2010.
- [2]
-
Intel 64 Architecture Memory Ordering White Paper, August 2007.
- [3]
-
L. Lamport.
How to make a correct multiprocess program execute correctly on a
multiprocessor.
IEEE Trans. Comput., 46(7):779–782, 1979.
- [4]
-
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave,
Scott Owens, Rajeev Alur, Milo Martin, Peter Sewell, and Derek Williams.
An axiomatic memory model for Power multiprocessors.
In CAV, 2012.
- [5]
-
Dennis Shasha and Marc Snir.
Efficient and correct execution of parallel programs that share
memory.
ACM Trans. Program. Lang. Syst., 10(2):282–312, 1988.