TSO博弈——全存储序语义下安全博弈的可判定性（含附录的LMCS扩展版）
计算机科学与博弈论
2025-10-01 v6
摘要
我们考虑将经典的全存储序(TSO)语义扩展至回合制双人安全博弈。在其回合中，玩家可选择任一通信进程并执行其下一转移。根据是一方还是双方将消息从进程缓冲区传送至共享内存，我们考虑了安全博弈问题的不同表述。我们给出了所有可行备选方案下完整的可判定性图景。
引用
@article{arxiv.2309.02862,
title = {TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)},
author = {Stephan Spengler and Sanchari Sil},
journal= {arXiv preprint arXiv:2309.02862},
year = {2025}
}