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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
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 and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 263006 |
| Date Deposited: | 21 Sep 2006 |
| Last Modified: | 02 Mar 2012 12:21 |
| Contributors: | Cirstea, Corina (Author) Jacobs, B. (Editor) Rutten, J. (Editor) |
| Date: | 1999 |
| Status: | Published |
| Publisher: | Elsevier |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/263006 |
Actions (login required)
 |
View Item |
