TY  - RPRT
TI  - Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility
AU  - Sizhuo Zhang
AU  - Muralidaran Vijayaraghavan
AU  - Arvind
PY  - 2018
DO  - 10.1109/pact.2017.29
UR  - https://arxiv.org/abs/1707.05923
ID  - 1707.05923
ER  -