State based systems are coalgebras
- H. Peter Gumm gumm@mathematik.uni-marburg.de
Downloads
Abstract
Universal coalgebra is a mathematical theory of state based systems, which in many respects is dual to universal algebra. Equality must be replaced by indistinguishability. Coinduction replaces induction as a proof principle and maps are defined by co-recursion. In this (entirely self-contained) paper we give a first glimpse at the general theory and focus on some applications in Computer Science.
Downloads
Download data is not yet available.
Published
2003-06-01
How to Cite
[1]
H. Peter Gumm, “State based systems are coalgebras”, CUBO, vol. 5, no. 2, pp. 239–262, Jun. 2003.
Issue
Section
Articles