DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
https://hal.inria.fr/hal-00907801
Contributeur : Francesco Zappa Nardelli <>
Soumis le : jeudi 21 novembre 2013 - 17:41:50
Dernière modification le : jeudi 29 septembre 2016 - 01:22:11
Jaroslav Sevcik, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell. Relaxed-memory concurrency and verified compilation. POPL, Jan 2011, Austin, TX, United States. 2011. <hal-00907801>
