2008
Observational coalgebras and complete sets of co-operations
Publication
Publication
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.
| Additional Metadata | |
|---|---|
| , , , | |
| Elsevier B.V. | |
| Electronic Notes in Theoretical Computer Science | |
| Organisation | Computer Security |
|
Kupke, C., & Rutten, J. (2008). Observational coalgebras and complete sets of co-operations. Electronic Notes in Computer Science, 153–174. |
|