TY  - RPRT
TI  - TSO Games -- On the decidability of safety games under the total store order semantics
AU  - Stephan Spengler
AU  - Sanchari Sil
PY  - 2023
DO  - 10.4204/eptcs.390.6
UR  - https://arxiv.org/abs/2310.00990
ID  - 2310.00990
ER  -