Initial Algebra and Final Coalgebra Semantics for Concurrency (1994)
by
Jan Rutten
,
Daniele Turi
| Citations: | 52 - 9 self |
BibTeX
@MISC{Rutten94initialalgebra,
author = {Jan Rutten and Daniele Turi},
title = {Initial Algebra and Final Coalgebra Semantics for Concurrency},
year = {1994}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
