28622 articles – 22134 Notices  [english version]
.:. Consultation > Par auteur > Alglave .:.
2 documents classés par :
fulltext access A Generic Formalised Framework for Reasoning About Weak Memory Models
Alglave J., Mahboubi A.
[inria-00604656 - version 1]
fulltext access Fences and Synchronisation Idioms in Weak Memory Models
Alglave J., Maranget L.
N° RR-7152 (2009) [inria-00440863 - version 1]