Observational Coalgebras and Complete Sets of Co-operations

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.

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Clemens Kupke, Jan J. M. M. Rutten
• Keywords: Complete Set, ENTCS 2008, Observational Coalgebra Structure, Various Example