异步游戏：无交替的天真
摘要：无辜策略的概念由Hyland和Ong引入，以捕捉Lambda项和PCF程序之间的交互行为。无辜策略被定义为具有部分记忆的交替策略，策略根据其视图进行游戏。将该定义扩展到非交替策略是有问题的，因为传统的视图定义基于对手和支持者在交互过程中交替出现的假设。本文利用异步游戏中交替无辜性的图解重新构造，为非交替游戏的无辜性提供了初步定义。这个任务是有趣的，但却很困难。它需要将真正的并发性和游戏语义以清晰而有机的方式结合起来，澄清异步游戏和Abramsky和Mellies所说的并发游戏之间的关系。这还需要将线性逻辑的常规非循环性标准以及有向变体作为调度标准进行互动重构。
作者：Paul-Andr''e Melli`es (PPS), Samuel Mimram (PPS)
论文ID：0706.1118
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-06-11