丹尼尔·豪斯曼;卢茨·施罗德;克里斯托夫·艾格 无交互\（\mu\）-演算的全局缓存。 （英语） Zbl 1392.68301号 Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59，第34条，第15页（2016）。 摘要：我们为无交替演算提出了一个完善的、完整的、最优的单程表算法。该算法支持带有中间传播的全局缓存，并在时间\（2^{{mathcal O}（n）}\）中运行。在游戏理论方面，我们的算法将构造和求解由输入表产生的Büchi游戏的步骤集成到单个过程中；这是即时完成的，即可能在游戏完全构建之前终止。这暗示了一个口号，大意是全球缓存=即时解决游戏。原型实现显示了良好的初始结果。关于整个系列，请参见[Zbl 1351.68014号]. 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03B44号 时间逻辑 03B45号 模态逻辑（包括规范逻辑） 03G30型 分类逻辑，拓扑 65年第68季度 形式语言和自动机 91A43型 涉及图形的游戏 关键词：模态逻辑;定点逻辑;可满足性;全局缓存;代数逻辑;比奇小游戏 PDF格式BibTeX公司 XML格式引用 \textit{D.Hausmann}等人，LIPIcs——莱布尼茨国际程序。通知。59，第34条，第15页（2016年；Zbl 1392.68301） 全文： 内政部 arXiv公司