-
[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]
-
D. Shasha and M. Snir.
Efficient and correct execution of parallel programs that share
memory.
In TPLS 1988.
- [5]
-
Sparc Architecture Manual Versions 8 and 9, 1992 and 1994.