托马斯·布里海耶；弗朗索瓦·拉鲁西尼；尼古拉斯·马基；加桑·奥雷比 计时并发游戏结构。 （英语） Zbl 1151.68510号 Caires，Luís（编辑）等人，CONCUR 2007–并发理论。第18届国际会议，2007年CONCUR，葡萄牙里斯本，2007年9月3-8日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74406-1/pbk）。计算机科学课堂讲稿4703，445-459（2007）。 摘要：我们提出了一种新的基于并发游戏结构（CGS）的时间游戏模型。与Asarin等人（1998年）的经典时间博弈自动机相比，我们的时间CGS“更具并发性”，因为它们总是允许所有代理对系统进行操作，而与他们希望在操作之前经过的延迟无关。定时CGS削弱了de Alfaro等人（2003）报告的定时游戏自动机的“惊喜元素”。我们证明了我们的模型具有很好的性质，特别是通过区域抽象可以确定针对时间ATL的模型选择时间CGS，特别是如果获胜目标是“区域稳定的”策略。我们还提出了一个新的TATL扩展，包含ATL*，我们称之为TALTL。我们证明，在定时CGS上对该逻辑进行模型检查仍然是可判定的。最后，我们解释了如何根据Henzinger等人（19942003）的思想调整我们的算法以排除Zeno（协同）策略。关于整个系列，请参见[Zbl 1144.68005号]. 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 65年第68季度 形式语言和自动机 91A80型 博弈论的应用 软件：Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，Lect。注释计算。科学。4703445--459（2007年；Zbl 1151.68510） 全文： 内政部 哈尔