Observational Coalgebras and Complete Sets of Co-operations
Clemens Kupke, Jan Rutten · Electronic Notes in Theoretical Computer Science · 2008
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.