Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Conference or workshop item
Mador-Haim, Sela and Maranget, Luc and Sarkar, Susmit and Memarian, Kayvan and Alglave, Jade and Owens, Scott and Alur, Rajeev and Martin, Milo M. K. and Sewell, Peter and Williams, Derek
An Axiomatic Memory Model for POWER Multiprocessors.
In: Computer Aided Verification, 24th International Conference, CAV 2012, July 7th-13th, 2012, Berkeley, California, USA.
(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)