A formal kernel memory-ordering model (Part 1 and 2) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Other Publications Year : 2017

A formal kernel memory-ordering model (Part 1 and 2)

Jade Alglave
  • Function : Author
  • PersonId : 961315
Microsoft Research [Cambridge]
University College of London [London]
Luc Maranget
Langages de programmation, types, compilation et preuves
Paul Mckenney
  • Function : Author
IBM
Alan Stern
  • Function : Author
Harvard University
Andrea Parri
  • Function : Author
Scuela Santa Anna

Domains

Programming Languages [cs.PL] Operating Systems [cs.OS]

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 : Thursday, February 1, 2024-10:05:11 AM

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 INRIA IRISA INRIA-MECSCI INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
98 View
0 Download

Share

Gmail Facebook X LinkedIn More