TY  - RPRT
TI  - Weak Memory Models with Matching Axiomatic and Operational Definitions
AU  - Sizhuo Zhang
AU  - Muralidaran Vijayaraghavan
AU  - Dan Lustig
AU  - Arvind
PY  - 2019
UR  - https://arxiv.org/abs/1710.04259
ID  - 1710.04259
ER  -