A Relation-Algebraic Theory of Bisimulations
A Relation-Algebraic Theory of Bisimulations
复制标题
互模拟的关系代数理论
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
M. Winter
中科院分区：
文献类型：
--
作者：
M. Winter
在本文中，我们使用关系方法发展了一种双模拟的代数/范畴理论。我们定义了一个通用概念，它能够在一个通用的情境下处理不同版本的双相似性。此外，该方法将双模拟与从图论及其在拓扑学和复分析中的应用所知的覆盖概念联系起来。
In this paper we develop an algebraic/categorical theory of bisimulations using relational methods. We define a general notion, which is capable of handeling different version of bisimilarity in a common context. Furthermore, the approach relates bisimulations with the notion of a covering known from the theory of graphs and their applications in topology and complex analysis.