Complete sets of cooperations

DOI10.1016/J.IC.2009.10.009zbMATH Open1209.68161OpenAlexW2129741466MaRDI QIDQ618169FDOQ618169

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

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

zbMATH Keywords

coalgebracoinductionhidden algebrainfinite data structurescooperationsobservational/simple/minimal coalgebra

Mathematics Subject Classification ID

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

Cites Work

• Universal coalgebra: A theory of systems
• Title not available (Why is that?)
• A coinductive calculus of streams
• Terminal coalgebras in well-founded set theory
• Conditional circular coinductive rewriting with case analysis.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Productivity of Stream Definitions
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• A coalgebraic equational approach to specifying observational structures
• Observational coalgebras and complete sets of co-operations
• Behavioural Differential Equations and Coinduction for Binary Trees
• Title not available (Why is that?)
• On minimal coalgebras

Cited In (3)

• Observational coalgebras and complete sets of co-operations
• Title not available (Why is that?)
• 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)