Observational Coalgebras and Complete Sets of Co-operations

DOI10.1016/j.entcs.2008.05.024zbMath1279.68233OpenAlexW2116526743MaRDI QIDQ2873667

Clemens Kupke, Jan J. M. M. Rutten

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.05.024

zbMATH Keywords

coalgebracoinductionhidden algebrainfinite data structures

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Bisimulations Generated from Corecursive Equations ⋮ Complete sets of cooperations ⋮ Coalgebras in functional programming and type theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Universal coalgebra: A theory of systems
• A coalgebraic equational approach to specifying observational structures
• Terminal coalgebras in well-founded set theory
• Behavioural Differential Equations and Coinduction for Binary Trees
• A coinductive calculus of streams
• Productivity of Stream Definitions

This page was built for publication: Observational Coalgebras and Complete Sets of Co-operations