A Coequational Approach to Specifying Behaviours


Cirstea, Corina, (1999) A Coequational Approach to Specifying Behaviours Jacobs, B. and Rutten, J. (eds.) At 2nd International Workshop on Coalgebraic Methods in Computer Science. , pp. 142-163.

Download

[img] PDF 19.011.pdf - Other
Download (267kB)

Description/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.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 2nd International Workshop on Coalgebraic Methods in Computer Science, 1999-01-01
Organisations: Electronic & Software Systems
ePrint ID: 263006
Date :
Date Event
1999Published
Date Deposited: 21 Sep 2006
Last Modified: 17 Apr 2017 21:32
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/263006

Actions (login required)

View Item View Item