Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli. The semantics of power and ARM multiprocessor machine code. In Leaf Petersen, Manuel M. T. Chakravarty, editors, Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009. pages 13-24, ACM, 2009. [doi]
Abstract is missing.