TY  - RPRT
TI  - Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version)
AU  - Heike Wehrheim
AU  - Lara Bargmann
AU  - Brijesh Dongol
PY  - 2022
UR  - https://arxiv.org/abs/2211.16330
ID  - 2211.16330
ER  -