Autre Publication
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 : mardi 9 juillet 2024-11:22:18
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
100
Consultations
0
Téléchargements