scientific article; zbMATH DE number 1497870

MaRDI QIDQ4499301zbMATHFDO

Authors Uwe Wolter

Publication date 5 March 2001

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)

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

Cited in

(8)

• Formal Methods in Software and Systems Modeling
• Co-elementary equivalence, co-elementary maps, and generalized arcs
• scientific article; zbMATH DE number 2177247 (Why is no real title available?)
• A hierarchy of probabilistic system types
• scientific article; zbMATH DE number 7204940 (Why is no real title available?)
• Equivalence co-relatios and co-congruences of co-algebras
• Distribution bisimilarity via the power of convex algebras
• On the Foundations of Corecursion

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)