S. Abramsky and G. Mccusker, Full abstraction for Idealized Algol with passive expressions, Theoretical Computer Science, vol.227, issue.1-2, p.342, 1999.
DOI : 10.1016/S0304-3975(99)00047-X

J. Alglave, A formal hierarchy of weak memory models. Formal Methods in System Design, p.178210, 2012.

M. Batty, K. Memarian, K. Nienhuis, J. Pichon-pharabod, and P. Sewell, The Problem of Programming Language Concurrency Semantics, Programming Languages and Systems -24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software Proceedings, volume 9032 of Lecture Notes in Computer Science, p.283307, 2015.
DOI : 10.1007/978-3-662-46669-8_12

M. Batty, K. Memarian, S. Owens, S. Sarkar, and P. Sewell, Clarifying and compiling C/C++ concurrency: from C++11 to POWER, Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, p.509520, 2012.

S. Burckhardt, M. Musuvathi, and V. Singh, Verifying Local Transformations on Relaxed Memory Models, Compiler Construction, 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software Proceedings, volume 6011 of Lecture Notes in Computer Science, p.104123, 2010.
DOI : 10.1007/978-3-642-11970-5_7

S. Castellan, La stratégie de la fourchette, Vingt-sixièmes Journées Francophones des Langages Applicatifs, 2015.

S. Castellan, P. Clairambault, and G. Winskel, The Parallel Intensionally Fully Abstract Games Model of PCF, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015.
DOI : 10.1109/LICS.2015.31

URL : https://hal.archives-ouvertes.fr/hal-01286477

P. Cenciarelli, A. Knapp, and E. Sibilio, The Java Memory Model: Operationally, Denotationally, Axiomatically, Programming Languages and Systems, 16th European Symposium on Programming Held as Part of the Joint European Conferences on Theory and Practics of Software Proceedings, volume 4421 of Lecture Notes in Computer Science, p.331346, 2007.
DOI : 10.1007/978-3-540-71316-6_23

D. R. Ghica and A. S. Murawski, Angelic semantics of ne-grained concurrency, 2007.

P. Martin, D. Sewell, and . Williams, An axiomatic memory model for POWER multiprocessors
URL : https://hal.archives-ouvertes.fr/hal-01100773

S. Rideau and G. Winskel, Concurrent Strategies, 2011 IEEE 26th Annual Symposium on Logic in Computer Science, p.409418, 2011.
DOI : 10.1109/LICS.2011.13

J. Sevcík and D. Aspinall, On validity of program transformations in the Java memory model