S. V. Adve and K. Gharachorloo, Shared memory consistency models: a tutorial, Computer, vol.29, issue.12, 1996.
DOI : 10.1109/2.546611
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.5742

S. V. Adve and M. Hill, A unified formalization of four shared-memory models, IEEE Transactions on Parallel and Distributed Systems, vol.4, issue.6, 1993.
DOI : 10.1109/71.242161

J. Alglave, L. Maranget, S. Sarkar, and P. Sewell, Fences in Weak Memory Models, Proc. of CAV, 2010.
DOI : 10.1007/978-3-642-14295-6_25
URL : https://hal.archives-ouvertes.fr/hal-01100859

J. Alglave, L. Maranget, and M. Tautschnig, Herding cats: Modelling, simulation, testing, and data mining for weak memory, ACM Trans. Program. Lang. Syst, vol.367, issue.2, pp.1-774, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01081364

M. Batty, K. Memarian, S. Owens, S. Sarkar, and P. Sewell, Clarifying and compiling C/C++ concurrency: from C++11 to POWER, Proc. of POPL, pp.509-520, 2012.

H. Boehm and S. V. Adve, Foundations of the C++ concurrency memory model, SIGPLAN Not, vol.43, 2008.

G. Boudol, G. Petri, and B. P. Serpette, Relaxed Operational Semantics of Concurrent Programming Languages, Electronic Proceedings in Theoretical Computer Science, vol.89, pp.19-33, 2012.
DOI : 10.4204/EPTCS.89.3

S. Burckhardt, M. Musuvathi, and V. Singh, Verifying Local Transformations on Relaxed Memory Models, Proc. of CC, 2010.
DOI : 10.1007/978-3-642-11970-5_7

P. Cenciarelli, A. Knapp, and E. Sibilio, The Java Memory Model: Operationally, Denotationally, Axiomatically, Proc. of ESOP, 2007.
DOI : 10.1007/978-3-540-71316-6_23

C. Click, Global code motion / global value mumbering, Proc. of PLDI, pp.246-257, 1995.

D. Demange, V. Laporte, L. Zhao, S. Jagannathan, D. Pichardie et al., Plan B: a buffered memory model for Java, Proc. of POPL, pp.329-342, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00924716

L. Higham and J. Kawash, Memory Consistency and Process Coordination for SPARC Multiprocessors, HiPC, pp.355-366, 1970.
DOI : 10.1007/3-540-44467-X_32

L. Higham, J. Kawash, and N. Verwaaland, Defining and Comparing Memory Consistency Models, Proc. of PDCS, 1997.

L. Lamport, How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, IEEE Transactions on Computers, vol.28, issue.9, pp.28690-691, 1979.
DOI : 10.1109/TC.1979.1675439

A. Lochbihler, Java and the Java Memory Model ??? A Unified, Machine-Checked Formalisation, Proc. of ESOP, 2012.
DOI : 10.1007/978-3-642-28869-2_25

J. Manson, W. Pugh, and S. V. Adve, The Java Memory Model, Proc. of POPL, 2005.

J. Sevcík and D. Aspinall, On Validity of Program Transformations in the Java Memory Model, Proc. of ECOOP, pp.27-51, 2008.

J. Sevcík, V. Vafeiadis, F. Z. Nardelli, S. Jagannathan, and P. Sewell, Relaxed-memory concurrency and verified compilation, Proc. of POPL, pp.43-54, 2011.