Sciweavers

ENTCS
1998

Covarieties and Complete Covarieties

13 years 11 months ago
Covarieties and Complete Covarieties
We present two ways to de ne covarieties and complete covarieties, i.e. covarieties that are closed under total bisimulation: by closure operators and by subcoalgebras of coalgebras.
H. Peter Gumm, Tobias Schröder
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1998
Where ENTCS
Authors H. Peter Gumm, Tobias Schröder
Comments (0)