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

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 communicating processes and perform its next transition. We consider different formulations of the safety game problem depe...

Celý popis

Podrobná bibliografie

Vydáno v:	Electronic proceedings in theoretical computer science Ročník 390; s. 82
Hlavní autoři:	Spengler, Stephan, Sil, Sanchari
Médium:	Paper Journal Article
Jazyk:	angličtina
Vydáno:	Ithaca Cornell University Library, arXiv.org 02.10.2023
Témata:	Communication Games Safety Semantics
ISSN:	2075-2180, 2331-8422, 2075-2180
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!