Sciweavers

74
Voted
ENTCS
1998
79views more  ENTCS 1998»
14 years 10 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 coalgebr...
H. Peter Gumm, Tobias Schröder