Reasoning about the ARM weakly consistent memory model

Nathan Chong, Samin Ishtiaq
[doi] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 2008 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), Seattle, Washington, USA, March 2, 2008
Pages 16-19
Note(s): weak memory