TY  - RPRT
TI  - An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution
AU  - Sizhuo Zhang
AU  - Muralidaran Vijayaraghavan
AU  - Arvind
PY  - 2017
UR  - https://arxiv.org/abs/1705.06158
ID  - 1705.06158
ER  -