Nathan Chong, Samin Ishtiaq. Reasoning about the ARM weakly consistent memory model. In Emery D. Berger, Brad Chen, editors, 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, Wa. pages 16-19, ACM, 2008. [doi]
Abstract is missing.