Complete sets of cooperations
type: Item
instance of: scholarly article
title: Complete sets of cooperations
zbMATH Open document ID: 1209.68161
author: Clemens Kupke
author: Jan J. M. M. Rutten
published in: Information and Computation
publication date: 2011-01-14T00:00:00Z
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 16T15
zbMATH DE Number: 5836749
zbMATH Keywords: coalgebra
zbMATH Keywords: coinduction
zbMATH Keywords: infinite data structures
zbMATH Keywords: hidden algebra
zbMATH Keywords: cooperations
zbMATH Keywords: observational/simple/minimal coalgebra
MaRDI profile type: Publication
full work available at URL: j.ic.2009.10.009
OpenAlex ID: W2129741466
cites work: Q4330617
cites work: Terminal coalgebras in well-founded set theory
cites work: Q3839054
cites work: A coalgebraic equational approach to specifying observational structures
cites work: Q3962450
cites work: Productivity of Stream Definitions
cites work: Recent Trends in Algebraic Development Techniques
cites work: On minimal coalgebras
cites work: Context induction: A proof principle for behavioural abstractions and algebraic implementations
cites work: Observational coalgebras and complete sets of co-operations
cites work: Q4503915
cites work: Universal coalgebra: A theory of systems
cites work: A coinductive calculus of streams
cites work: Behavioural Differential Equations and Coinduction for Binary Trees
cites work: Q4799892
DOI: 10.1016/J.IC.2009.10.009
description: scientific article; zbMATH DE number 5836749