TSO Games -- On the decidability of safety games under the total store order semantics

Stephan Spengler, Sanchari Sil

We consider an extension of the classical Total Store Order (TSO) semantics by expanding it to turn-based 2-player safety games. During her turn, a player can select any of the com…