巴巴拉·科尼格;米卡·米查尔斯基，克里斯蒂娜;卢茨·施罗德 用聚合方法解释非相似性：游戏和区别公式。 （英语） Zbl 07314152号 Petrišan，Daniela（编辑）等人，《计算机科学中的协代数方法》。第15届IFIP工作组1.3国际研讨会，CMCS 2020，与ETAPS 2020共同举办，爱尔兰都柏林，2020年4月25日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12094, 133-154 (2020). 总结：行为等效性可以通过互模拟、模态逻辑和扰流板复制游戏来表征。在本文中，我们在coalgebra的一般设置中工作，并专注于计算双模拟游戏中两个玩家的获胜策略的通用算法。然后，扰流板的获胜策略（如果存在）被转换为一个模态公式，用于区分给定的非双相似状态。公式所需的模式也在现场合成，我们提出了一个用不同模式重新编码公式的方法，由一组独立的谓词提升给出。游戏和区分公式的生成都在一个名为T-Beg公司.关于整个系列，请参见[Zbl 1454.68013号]. 引用于4文件 MSC公司： 68问题65 抽象数据类型；代数规范 关键词：联合布拉格;共刺激游戏;判别公式;通用分区细化 PDF格式BibTeX公司 XML格式引用 \textit{B.König}等人，Lect。注释计算。科学。12094133-154（2020年；兹bl 07314152） 全文： DOI程序 arXiv公司