The University of Southampton
University of Southampton Institutional Repository

A coalgebraic equational approach to specifying observational structures

Cirstea, Corina, Jacobs, B. and Rutten, J.(eds.) (2002) A coalgebraic equational approach to specifying observational structures Theoretical Computer Science, 280, (1), pp. 35-68.

Record type: Article


A coalgebraic, equational approach to the specification of observational structures allowing for a choice in the result type of observations is presented. Observers whose result type is structured as a coproduct of basic types are considered, and notions of covariable, coterm and coequation, dual to the algebraic notions of variable, term and equation are used to specify the associated structures. A sound and complete deduction calculus for reasoning about observational structures is then formulated. Finally, the approach is extended in order to account for the availability of a fixed data universe in the specification of such structures.

PDF tcs.pdf - Other
Download (439kB)

More information

Published date: 2002
Keywords: coalgebraic specification, equational logic
Organisations: Electronic & Software Systems


Local EPrints ID: 259109
ISSN: 0304-3975
PURE UUID: e00cea93-a659-41b4-969c-561346def04c

Catalogue record

Date deposited: 12 Mar 2004
Last modified: 18 Jul 2017 09:26

Export record


Author: Corina Cirstea
Editor: B. Jacobs
Editor: J. Rutten

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.