A Coequational Approach to Specifying Behaviours


Cirstea, Corina (1999) A Coequational Approach to Specifying Behaviours. In, 2nd International Workshop on Coalgebraic Methods in Computer Science Elsevier, 142-163.

Download

[img] PDF
Download (260Kb)

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)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 263006
Date Deposited: 21 Sep 2006
Last Modified: 27 Mar 2014 20:06
Publisher: Elsevier
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/263006

Actions (login required)

View Item View Item