Other Publications
Year : 2017
Luc Maranget : Connect in order to contact the contributor
https://inria.hal.science/hal-01668178
Submitted on : Tuesday, December 19, 2017-7:20:15 PM
Last modification on : Friday, December 6, 2024-3:19:46 AM
Dates and versions
Identifiers
- HAL Id : hal-01668178 , version 1
Cite
Jade Alglave, Luc Maranget, Paul Mckenney, Alan Stern, Andrea Parri. A formal kernel memory-ordering model (Part 1 and 2). 2017. ⟨hal-01668178⟩
Collections
113
View
0
Download