Covarieties and Complete Covarieties

13 years 4 months ago

Download www.mathematik.uni-marburg.de

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

Real-time Traffic

ENTCS 1998 | Ne Covarieties | Total Bisimulation |

claim paper

» Covarieties of Coalgebras Comonads and Coequations

» Some CoBirkhoff Type Theorems

» Modal Predicates and Coequations

» On Minimal Coalgebras

» Abstract Logics as Dialgebras

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	1998
Where	ENTCS
Authors	H. Peter Gumm, Tobias Schröder

Comments (0)

Sciweavers

Covarieties and Complete Covarieties

ENTCS 1998 | Ne Covarieties | Total Bisimulation |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers