Herding cats: Modelling, simulation, testing, and data-mining for weak memory, TOPLAS, vol.36, issue.2 ,
URL : https://hal.archives-ouvertes.fr/hal-01081364
Partial Orders for Efficient Bounded Model Checking of??Concurrent??Software, CAV, 2013. ,
DOI : 10.1007/978-3-642-39799-8_9
Relaxed Operational Semantics of Concurrent Programming Languages, Electronic Proceedings in Theoretical Computer Science, vol.89, 2012. ,
DOI : 10.4204/EPTCS.89.3
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
Understanding Power multiprocessors, PLDI, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01100824