Reachability and Safety Games under TSO Semantics

We consider games played on the transition graph of concurrent programs running under the Total Store Order (TSO) weak memory model. Games are frequently used to model the interaction between a system and its environment, in this case between the concurrent processes and the nondeterministic TSO buf...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2024-10
1. Verfasser:	Spengler, Stephan
Format:	Artikel
Sprache:	eng
Schlagworte:	Buffers Computer Science - Logic in Computer Science Games Players Semantics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!