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...

Full description

Bibliographic Details

Published in:	Electronic proceedings in theoretical computer science Vol. 390; p. 82
Main Authors:	Spengler, Stephan, Sil, Sanchari
Format:	Paper Journal Article
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 02.10.2023
Subjects:	Communication Games Safety Semantics
ISSN:	2075-2180, 2331-8422, 2075-2180
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!