Relating coalgebraic notions of bisimulation: with applications to name-passing process calculi
Relating coalgebraic notions of bisimulation: with applications to name-passing process calculi
复制标题
关联互模拟的余代数概念：及其在名称传递过程演算中的应用
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
S. Staton
中科院分区：
文献类型：
--
作者：
S. Staton
一个标号转移系统可以理解为集合范畴上一个特定的内函子的余代数。推广后，我们考虑任意范畴上任意内函子的余代数。
互模拟是标号迁移系统理论中的一个重要概念。我们确定了一般余代数上互模拟的四个定义。所有的定义都专门针对标记转移系统的特殊情况的相同概念。我们调查的一般条件下，这四个概念相吻合。
作为一个扩展的例子，我们考虑的名称传递进程演算（如pi演算）的语义，并提出了一个新的coalgebraic模型的名称传递演算。
A labelled transition system can be understood as a coalgebra for a particular endofunctor on the category of sets. Generalizing, we are led to consider coalgebras for arbitrary endofunctors on arbitrary categories.
Bisimulation is a crucial notion in the theory of labelled transition systems. We identify four definitions of bisimulation on general coalgebras. The definitions all specialize to the same notion for the special case of labelled transition systems. We investigate general conditions under which the four notions coincide.
As an extended example, we consider the semantics of name-passing process calculi (such as the pi-calculus), and present a new coalgebraic model for name-passing calculi.