Complete sets of cooperations

DOI10.1016/j.ic.2009.10.009zbMath1209.68161OpenAlexW2129741466MaRDI QIDQ618169

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)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On minimal coalgebras
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• Universal coalgebra: A theory of systems
• A coalgebraic equational approach to specifying observational structures
• Terminal coalgebras in well-founded set theory
• Observational Coalgebras and Complete Sets of Co-operations
• Behavioural Differential Equations and Coinduction for Binary Trees
• A coinductive calculus of streams
• Productivity of Stream Definitions
• Recent Trends in Algebraic Development Techniques

This page was built for publication: Complete sets of cooperations