A Coequational Approach to Specifying Behaviours
A Coequational Approach to Specifying Behaviours
A coalgebraic, equational approach to the specification of observational structures allowing for a choice in the result type of observations is presented. Coalgebraic operations whose result type is structured as a coproduct of basic types are considered, and notions of coterm, covariable and coequation, dual to the algebraic notions of term, variable and equation, are used to specify structures observable through such operations and to constrain their behaviour. A sound and complete deduction calculus for reasoning about observational properties expressed by coequations is then formulated.
142-163
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Jacobs, B.
d0c6174a-a498-477a-bc29-c017c35a2e2d
Rutten, J.
4c70ae5f-a8a9-44ab-bd13-e6b14079d0f1
1999
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Jacobs, B.
d0c6174a-a498-477a-bc29-c017c35a2e2d
Rutten, J.
4c70ae5f-a8a9-44ab-bd13-e6b14079d0f1
Cirstea, Corina
(1999)
A Coequational Approach to Specifying Behaviours.
Jacobs, B. and Rutten, J.
(eds.)
2nd International Workshop on Coalgebraic Methods in Computer Science.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
A coalgebraic, equational approach to the specification of observational structures allowing for a choice in the result type of observations is presented. Coalgebraic operations whose result type is structured as a coproduct of basic types are considered, and notions of coterm, covariable and coequation, dual to the algebraic notions of term, variable and equation, are used to specify structures observable through such operations and to constrain their behaviour. A sound and complete deduction calculus for reasoning about observational properties expressed by coequations is then formulated.
More information
Published date: 1999
Venue - Dates:
2nd International Workshop on Coalgebraic Methods in Computer Science, 1999-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 263006
URI: http://eprints.soton.ac.uk/id/eprint/263006
PURE UUID: 183de500-6fb2-4388-a0c8-2f4788053c2e
Catalogue record
Date deposited: 21 Sep 2006
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