Sciweavers

84
Voted
ENTCS
1998
79views more  ENTCS 1998»
15 years 15 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