A coalgebraic equational approach to specifying observational structures
Cirstea, Corina, Jacobs, B. and Rutten, J. (eds.) (2002) A coalgebraic equational approach to specifying observational structures. Theoretical Computer Science, 280, (1), 35-68.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (428Kb) |
Description/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.
| Item Type: | Article |
|---|---|
| ISSNs: | 0304-3975 |
| Keywords: | coalgebraic specification, equational logic |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 259109 |
| Date Deposited: | 12 Mar 2004 |
| Last Modified: | 16 Aug 2012 03:40 |
| Contributors: | Cirstea, Corina (Author) Jacobs, B. (Editor) Rutten, J. (Editor) |
| Date: | 2002 |
| Status: | Published |
| Publisher: | Elsevier |
| Further Information: | Google Scholar |
| ISI Citation Count: | 1 |
| URI: | http://eprints.soton.ac.uk/id/eprint/259109 |
Actions (login required)
 |
View Item |
