Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2309.02862 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918151001735168 |
|---|---|
| author | Spengler, Stephan Sil, Sanchari |
| author_facet | Spengler, Stephan Sil, Sanchari |
| contents | 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 depending on whether one player or both of them transfer messages from the process buffers to the shared memory. We give the complete decidability picture for all the possible alternatives. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2309_02862 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix) Spengler, Stephan Sil, Sanchari Computer Science and Game Theory 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 depending on whether one player or both of them transfer messages from the process buffers to the shared memory. We give the complete decidability picture for all the possible alternatives. |
| title | TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix) |
| topic | Computer Science and Game Theory |
| url | https://arxiv.org/abs/2309.02862 |