Initial Algebra and Final Coalgebra Semantics for Concurrency
Initial Algebra and Final Coalgebra Semantics for Concurrency
复制标题
并发的初始代数和最终代数语义
DOI：
--
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
D. Turi
中科院分区：
文献类型：
--
作者：
J. Rutten;D. Turi
本文的目的是把初始代数语义和最终余代数语义联系起来。它示出了如何这两种方法的语义的编程语言是彼此的双重，并给出了一些条件下，它们相吻合。更准确地说，它是如何从最终语义派生初始语义，使用初始性和终结性，以确保他们的平等。此外，许多关于同余（代数上）和（广义）互模拟（余代数上）的事实也被证明是对偶的。
The aim of this paper is to relate initial algebra semantics and final coalgebra semantics. It is shown how these two approaches to the semantics of programming languages are each others dual, and some conditions are given under which they coincide. More precisely, it is shown how to derive initial semantics from final semantics, using the initiality and finality to ensure their equality. Moreover, many facts about congruences (on algebras) and (generalized) bisimulations (on coalgebras) are shown to be dual as well.