TY  - RPRT
TI  - TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)
AU  - Stephan Spengler
AU  - Sanchari Sil
PY  - 2025
DO  - 10.46298/lmcs-21(3:30)2025
UR  - https://arxiv.org/abs/2309.02862
ID  - 2309.02862
ER  -