Complete sets of cooperations

DOI10.1016/J.IC.2009.10.009MaRDI QIDQ618169zbMATH OpenOpenAlexFDO

Authors Clemens Kupke, Jan J. M. M. Rutten

Publication date 14 January 2011

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2009.10.009

zbMATH Keywords

coalgebracoinductionhidden algebrainfinite data structurescooperationsobservational/simple/minimal coalgebra

Mathematics Subject Classification ID

Data structures (68P05) Coalgebras and comodules; corings (16T15)

Recommendations

• Observational coalgebras and complete sets of co-operations
• scientific article; zbMATH DE number 3952838
• On coalgebras over algebras
• Final coalgebras as greatest fixed points in ZF set theory
• On the final sequence of a finitary set functor

Cites work

• scientific article; zbMATH DE number 1189281 (Why is no real title available?)
• scientific article; zbMATH DE number 3784244 (Why is no real title available?)
• scientific article; zbMATH DE number 1740032 (Why is no real title available?)
• scientific article; zbMATH DE number 1507195 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• A coalgebraic equational approach to specifying observational structures
• A coinductive calculus of streams
• Behavioural Differential Equations and Coinduction for Binary Trees
• Conditional circular coinductive rewriting with case analysis.
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• Observational coalgebras and complete sets of co-operations
• On minimal coalgebras
• Productivity of Stream Definitions
• Terminal coalgebras in well-founded set theory
• Universal coalgebra: A theory of systems

Cited in

(3)

• Observational coalgebras and complete sets of co-operations
• scientific article; zbMATH DE number 3952838 (Why is no real title available?)
• Stream differential equations: specification formats and solution methods

This page was built for publication: Complete sets of cooperations

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