@misc{indiciaea65043191740,
  title = {Weak Memory Model Formalisms: Introduction and Survey},
  author = {Roger C. Su and Robert J. Colvin},
  year = {2026},
  doi = {10.1002/cpe.70484},
  url = {https://arxiv.org/abs/2508.04115},
  note = {Source identifier: 2508.04115}
}