Autre Publication Scientifique
Année : 2017
Luc Maranget : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01668178
Soumis le : mardi 19 décembre 2017-19:20:15
Dernière modification le : jeudi 1 février 2024-10:05:11
Dates et versions
Identifiants
- HAL Id : hal-01668178 , version 1
Citer
Jade Alglave, Luc Maranget, Paul Mckenney, Alan Stern, Andrea Parri. A formal kernel memory-ordering model (Part 1 and 2). 2017. ⟨hal-01668178⟩
Collections
98
Consultations
0
Téléchargements