Covarieties and complete covarieties

Electronic Notes in Theoretical Computer Science

Volumn 11, Issue , 1998, Pages 42-55

  Gumm, H Peter ^a   Schröder, Tobias ^a  

^a PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; MATHEMATICAL OPERATORS;

BISIMULATION; COALGEBRAS; COVARIETIES; TRANSITION SYSTEMS;

ALGEBRA;

EID: 19044376272     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00052-0     Document Type: Article

References (4)

1. Jacobs B. Objects and classes, co-algebraically. Freitag B., et al. Object-Orientation with Parallelism and Persistence. 1996;Kluwer Academic Publishers
2. Jacobs B., and Rutten, J.J.M.M., A tutorial on (co)algebras and (co)induction, 1997
3. Lawrence S. Moss, Coalgebraic Logic, Preprint.
4. J.J.M.M. Rutten, Universal Coalgebra: a Theory of Systems, Tech. report, Centrum voor Wiskunde en Informatica, 1996