Similar Items: TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)
- A Load-Buffer Semantics for Total Store Ordering
- A Denotational Semantics for SPARC TSO
- Game semantics for first-order logic
- From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
- Isomorphisms of types in the presence of higher-order references (extended version)
- Decidability of One-Clock Weighted Timed Games with Arbitrary Weights