Other Publications Year : 2017
No file

Dates and versions

hal-01668178 , version 1 (19-12-2017)

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⟩
113 View
0 Download

Share

More