J. Alglave, L. Maranget, and M. Tautschnig, Herding cats: Modelling, simulation, testing, and data-mining for weak memory, TOPLAS, vol.36, issue.2
URL : https://hal.archives-ouvertes.fr/hal-01081364

J. Alglave, D. Kroening, and M. Tautschnig, Partial Orders for Efficient Bounded Model Checking of??Concurrent??Software, CAV, 2013.
DOI : 10.1007/978-3-642-39799-8_9

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

L. Lamport, How to make a correct multiprocess program execute correctly on a multiprocessor, IEEE Transactions on Computers, vol.46, issue.7, 1979.
DOI : 10.1109/12.599898

S. Sarkar, P. Sewell, J. Alglave, L. Maranget, and D. Williams, Understanding Power multiprocessors, PLDI, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01100824