作为事件结构的并发游戏与策略
逻辑
2019-03-14 v5 计算机科学中的逻辑
摘要
2011年，Rideau 和 Winskel 引入了作为事件结构的并发游戏与策略，推广了关于游戏的因果表述的先前工作。在本文中，我们给出 Rideau 和 Winskel 结果的详细、自包含且略有更新的阐述：基于事件结构的预策略(pre-strategy)概念；对那些通过复制策略(copycat strategy)复合而被保持的预策略（视为策略）的刻画；以及这些策略的双范畴(bicategory)的构造。此外，我们证明相应的范畴具有紧闭结构(compact closed structure)，从而构成并发高阶计算语义的基础。
引用
@article{arxiv.1604.04390,
title = {Games and Strategies as Event Structures},
author = {Simon Castellan and Pierre Clairambault and Silvain Rideau and Glynn Winskel},
journal= {arXiv preprint arXiv:1604.04390},
year = {2019}
}