Elements Of The General Theory Of Coalgebras (1999)

by H. Peter Gumm
Citations:30 - 7 self

Active Bibliography

5. Bisimulations and-simulations 33 – H. Peter Gumm
13 Coalgebraic Structure From Weak Limit Preserving Functors – H. Peter Gumm, Tobias Schröder - 1999
© Birkhäuser Verlag, Basel, 2001 Products of coalgebras – H. Peter Gumm, Tobias Schröder, Dedicated Viktor, Aleksandrovich Gorbunov
19 Functors for Coalgebras – H. Peter Gumm
2 State Based Systems Are Coalgebras – H. Peter Gumm - 2003
13 Covarieties and Complete Covarieties – H. Peter Gumm, Tobias Schröder - 1999
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
13 A Study of Categories of Algebras and Coalgebras – Jesse Hughes, Dana Scott Co-chair, Jeremy Avigad - 2001
3 Equational And Implicational Classes Of Co-Algebras (Extended Abstract) – H. Peter Gumm
UNIVERSAL COALGEBRAS AND THEIR LOGICS – H. Peter Gumm - 2009
11 Monoid-Labeled Transition Systems – H. Peter Gumm, Tobias Schröder
4 From T-coalgebras to filter structures and transition systems – H. Peter Gumm - 2005
1 Final coalgebras and the Hennessy-Milner property – Robert Goldblatt
9 Equational and implicational classes of coalgebras – H. Peter Gumm - 2001
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
A single complete relational rule for coalgebraic refinement – César J. Rodrigues, J. N. Oliveira, Luis S. Barbosa - 2009
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
81 Abstract behavior types: A foundation model for components and their composition – Farhad Arbab - 2003
A general Galois theory for cofunctions and corelations – R. Pöschel, M. Rößiger - 1997