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
35-68
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Jacobs, B.
d0c6174a-a498-477a-bc29-c017c35a2e2d
Rutten, J.
4c70ae5f-a8a9-44ab-bd13-e6b14079d0f1
2002
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), .
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.
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
Catalogue record
Date deposited: 12 Mar 2004
Last modified: 15 Mar 2024 03:18
Export record
Contributors
Author:
Corina Cirstea
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