Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
Locally nameless
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@misc{effinger-grossman, author = {Effinger-Dean, L. and Grossman, D.}, title = {{Modular Metatheory for Memory Consistency Models}}, year = 2010, }