Observational coalgebras and complete sets of co-operations

C. Kupke, J.J.M.M. Rutten

Research output: Contribution to JournalArticleAcademicpeer-review


In this paper we introduce the notion of an observational coalgebra structure and of a complete set of co-operations. We demonstrate in various example the usefulness of these notions, in particular, we show how they give rise to coalgebraic proof and definition principles. © 2008 Elsevier B.V. All rights reserved.
Original languageEnglish
Pages (from-to)153-174
JournalElectronic Notes in Theoretical Computer Science
Publication statusPublished - 2008

Bibliographical note

Proceedings title: Proceedings of CMCS 2008
Publisher: Elsevier


Dive into the research topics of 'Observational coalgebras and complete sets of co-operations'. Together they form a unique fingerprint.

Cite this