Accueil
Consultation
Derniers dépôts
Liste des articles
Par auteur
Liste par année
Recherche
Rechercher
Recherche avancée
Recherche par identifiant
8481 articles
[english version]
.:.
Consultation
>
Par auteur
> Alglave .:.
1 document
Fences and Synchronisation Idioms in Weak Memory Models
Alglave J., Maranget L.
N° RR-7152 (2009) [inria-00440863 - version 1]