TY  - RPRT
TI  - Weak Memory Model Formalisms: Introduction and Survey
AU  - Roger C. Su
AU  - Robert J. Colvin
PY  - 2026
DO  - 10.1002/cpe.70484
UR  - https://arxiv.org/abs/2508.04115
ID  - 2508.04115
ER  -