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