计算机科学>计算机科学中的逻辑
标题: 证明共导全球互模拟距离的连续性:一个永无止境的故事
摘要: 我们发展了一种进程间全局互模拟距离的概念,它在某种程度上超越了文献中已经存在的互模拟距离概念,主要基于互模拟博弈。 我们的建议基于转换的成本:我们需要对一个比较的过程进行多少修改才能获得另一个。 我们最初的定义只涵盖了有限过程,但共推方法允许我们将其扩展到涵盖无限但有限的树。 在展示了距离的许多有趣特性之后,我们打算证明投影的连续性,但不幸的是,这个问题仍然悬而未决。 尽管如此,我们还是获得了本文中给出的几个部分结果。