Sciweavers

ENTCS
1998
79views more  ENTCS 1998»
15 years 2 days 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 coalgebr...
H. Peter Gumm, Tobias Schröder