Initial Algebra and Final Coalgebra Semantics for Concurrency

Initial Algebra and Final Coalgebra Semantics for Concurrency (1994)

by Jan Rutten , Daniele Turi

Citations:

52 - 9 self

User correction supplied by mph

Datum	Value	Source
TITLE	Initial Algebra and Final Coalgebra Semantics for Concurrency	user correction - Legacy Corrections
AUTHOR NAME	Jan Rutten	user correction
AUTHOR AFFIL	CWI	user correction
AUTHOR ADDR	P.O. Box 94079, 1090 AB Amsterdam, The Netherlands	user correction
AUTHOR NAME	Daniele Turi	user correction
AUTHOR AFFIL	CWI	user correction
AUTHOR ADDR	P.O. Box 94079, 1090 AB Amsterdam, The Netherlands	user correction
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.	user correction
YEAR	1994	INFERENCE
PAGES	530--582	INFERENCE
CITATIONS	40 found	ParsCit 1.0