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

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.GTShow all

2 papers · 1 filter

cs.GT2023★ 1 cited

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…

cs.GT2023

TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)

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…