Sciweavers

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