The University of Southampton
University of Southampton Institutional Repository

A coalgebraic equational approach to specifying observational structures

A coalgebraic equational approach to specifying observational structures
A coalgebraic equational approach to specifying observational structures
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.
coalgebraic specification, equational logic
0304-3975
35-68
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Jacobs, B.
d0c6174a-a498-477a-bc29-c017c35a2e2d
Rutten, J.
4c70ae5f-a8a9-44ab-bd13-e6b14079d0f1
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Jacobs, B.
d0c6174a-a498-477a-bc29-c017c35a2e2d
Rutten, J.
4c70ae5f-a8a9-44ab-bd13-e6b14079d0f1

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

Record type: Article

Abstract

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.

Text
tcs.pdf - Other
Download (439kB)

More information

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

Identifiers

Local EPrints ID: 259109
URI: http://eprints.soton.ac.uk/id/eprint/259109
ISSN: 0304-3975
PURE UUID: e00cea93-a659-41b4-969c-561346def04c
ORCID for Corina Cirstea: ORCID iD orcid.org/0000-0003-3165-5678

Catalogue record

Date deposited: 12 Mar 2004
Last modified: 15 Mar 2024 03:18

Export record

Contributors

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

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.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

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.

×