scientific article; zbMATH DE number 1497870

zbMATH Open0960.18003MaRDI QIDQ4499301FDOQ4499301

Authors: Uwe Wolter 

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

Recommendations

• Formal Methods in Software and Systems Modeling
• Equivalence co-relatios and co-congruences of co-algebras
• Universal coalgebra: A theory of systems
• Modal predicates and coequations

zbMATH Keywords

coequational specificationkernel model theory of coalgebrasspecification for coalgebras

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Abstract data types; algebraic specification (68Q65) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Cited In (8)

• Co-elementary equivalence, co-elementary maps, and generalized arcs
• Title not available (Why is that?)
• Equivalence co-relatios and co-congruences of co-algebras
• A hierarchy of probabilistic system types
• On the Foundations of Corecursion
• Title not available (Why is that?)
• Distribution bisimilarity via the power of convex algebras
• Formal Methods in Software and Systems Modeling

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499301)