TY  - RPRT
TI  - The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
AU  - Nathan Chong
AU  - Tyler Sorensen
AU  - John Wickerson
PY  - 2018
DO  - 10.1145/3192366.3192373
UR  - https://arxiv.org/abs/1710.04839
ID  - 1710.04839
ER  -