Spengler, S., & Sil, S. (2023). TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix).
Chicago Style (17th ed.) CitationSpengler, Stephan, and Sanchari Sil. TSO Games -- On the Decidability of Safety Games Under the Total Store Order Semantics (extended LMCS Version with Appendix). 2023.
MLA (9th ed.) CitationSpengler, Stephan, and Sanchari Sil. TSO Games -- On the Decidability of Safety Games Under the Total Store Order Semantics (extended LMCS Version with Appendix). 2023.
Warning: These citations may not always be 100% accurate.