Abstract
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 language | English |
---|---|
Pages (from-to) | 153-174 |
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 203 |
DOIs | |
Publication status | Published - 2008 |
Bibliographical note
KR08Proceedings title: Proceedings of CMCS 2008
Publisher: Elsevier