Jade Alglave 1, 2AuthorPersonId : 961315
Luc Maranget 3AuthorPersonId : 944 Employer institution: Institut National de Recherche en Informatique et en AutomatiqueIdHAL : luc-marangetIdRef : 083459456
Paul Mckenney 4Author
Alan Stern 5Author
Andrea Parri 6Author
Computer Science [cs] / Programming Languages [cs.PL] Computer Science [cs] / Operating Systems [cs.OS]
INRIA | INRIA-MECSCI | INRIA2