DMCA

A better x86 memory model: x86-TSO (2009)

by Scott Owens , Susmit Sarkar , Peter Sewell
Venue:In TPHOLs’09: Conference on Theorem Proving in Higher Order Logics, volume 5674 of LNCS
Citations:76 - 9 self