H. Peter Gumm. State based systems are coalgebras. Cubo - Matematica Educacional, 5(2):239--262, 2003. Available from http://www.mathematik.uni-marburg.de/~gumm/Papers/. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
On Generalised Coinduction and Probabilistic Specification.. - Bartels (2004) (3 citations) (Correct)
No context found.
H. Peter Gumm. State based systems are coalgebras. Cubo - Matematica Educacional, 5(2):239--262, 2003. Available from http://www.mathematik.uni-marburg.de/~gumm/Papers/.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC