scientific article; zbMATH DE number 1497879

zbMath0966.68145MaRDI QIDQ4499310

H. Peter Gumm, Tobias Schröder

Publication date: 5 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(F\)-coalgebras

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Coalgebras for fuzzy transition systems ⋮ Distributivity of categories of coalgebras ⋮ The intersection of algebra and coalgebra ⋮ Enhanced coalgebraic bisimulation ⋮ More existence theorems for recursion categories. ⋮ A description based on languages of the final non-deterministic automaton ⋮ Some facets of Horn covarieties in a category ⋮ A simplification functor for coalgebras ⋮ Monoid-labeled transition systems ⋮ Modal Rules are Co-Implications ⋮ Transitivity and Difunctionality of Bisimulations ⋮ A hierarchy of probabilistic system types ⋮ Operators on classes of coalgebras ⋮ Connected monads weakly preserve products ⋮ Towards coalgebraic behaviourism ⋮ A logic of implications in algebra and coalgebra ⋮ Final coalgebras and the Hennessy-Milner property