Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Owens, Scott and Sarkar, Susmit and Sewell, Peter
A Better x86 Memory Model: x86-TSO.
In: 22nd International Conference, TPHOLs 2009, August 17th - 20th, 2009, Munich, Germany.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)