Observational coalgebras and complete sets of co-operations

C. Kupke; J.J.M.M. Rutten

doi:10.1016/j.entcs.2008.05.024

Observational coalgebras and complete sets of co-operations

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

Research output: Contribution to Journal › Article › Academic › peer-review

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	https://doi.org/10.1016/j.entcs.2008.05.024
Publication status	Published - 2008

Bibliographical note

KR08
Proceedings title: Proceedings of CMCS 2008
Publisher: Elsevier

Access to Document

10.1016/j.entcs.2008.05.024

Persistent URL (handle)

Persistent link

Cite this

@article{5274fb19920047d18568b19be881a37f,

title = "Observational coalgebras and complete sets of co-operations",

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. {\textcopyright} 2008 Elsevier B.V. All rights reserved.",

author = "C. Kupke and J.J.M.M. Rutten",

note = "KR08 Proceedings title: Proceedings of CMCS 2008 Publisher: Elsevier",

year = "2008",

doi = "10.1016/j.entcs.2008.05.024",

language = "English",

volume = "203",

pages = "153--174",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - Observational coalgebras and complete sets of co-operations

AU - Kupke, C.

AU - Rutten, J.J.M.M.

N1 - KR08 Proceedings title: Proceedings of CMCS 2008 Publisher: Elsevier

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

U2 - 10.1016/j.entcs.2008.05.024

DO - 10.1016/j.entcs.2008.05.024

M3 - Article

SN - 1571-0661

VL - 203

SP - 153

EP - 174

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

Observational coalgebras and complete sets of co-operations

Abstract

Bibliographical note

Access to Document

Persistent URL (handle)

Fingerprint

Cite this