An Axiomatic Memory Model for POWER Multiprocessors

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-31424-7_36