异步博弈：无交替性的无邪性
计算机科学中的逻辑
2007-06-11 v1
摘要
Hyland和Ong引入了无邪策略的概念，以捕捉lambda项和PCF程序的交互行为。无邪策略被定义为具有部分记忆的交替策略，其中策略根据其视图进行博弈。将定义扩展到非交替策略是有问题的，因为视图的传统定义基于对手和提议者在交互期间交替进行的假设。在此，我们利用异步博弈中对交替无邪性的图解重构，为非交替博弈中的无邪性提供了一个尝试性定义。这项任务很有趣，但也绝非易事。它要求以清晰且有机的方式结合真并发与博弈语义，阐明异步博弈与Abramsky和Melliès意义上的并发博弈之间的关系。它还要求将线性逻辑中通常的无环性准则及其有向变体作为调度准则进行交互式重构。
关键词
引用
@article{arxiv.0706.1118,
title = {Asynchronous games: innocence without alternation},
author = {Paul-André Melliès and Samuel Mimram},
journal= {arXiv preprint arXiv:0706.1118},
year = {2007}
}