On specification logics for algebra-coalgebra structures: reconciling reachability and observability
Cirstea, Corina (2002) On specification logics for algebra-coalgebra structures: reconciling reachability and observability. In, Foundations of Software Science and Computation Structures Conference, Grenoble, France, 10 - 12 Apr 2002. Springer, 82-97.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (195Kb) |
Description/Abstract
The paper builds on recent results regarding the expressiveness of modal logics for coalgebras in order to introduce a specification framework for coalgebraic structures which offers support for modular specification. An equational specification framework for algebraic structures is obtained in a similar way. The two frameworks are then integrated in order to account for structures comprising both a coalgebraic (observational) component and an algebraic (computational) component. The integration results in logics whose sentences are either coalgebraic (modal) or algebraic (equational) in nature, but whose associated notions of satisfaction take into account both the coalgebraic and the algebraic features of the structures being specified. Each of the logics thus obtained also supports modular specification.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: 10-12 April 2002 |
| Keywords: | algebraic specification, equational logic, coalgebraic specification, modal logic |
| Divisions: | Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 259116 |
| Date Deposited: | 12 Mar 2004 |
| Last Modified: | 16 Aug 2012 03:40 |
| Contributors: | Cirstea, Corina (Author) Nielsen, M. (Editor) Engberg, U. (Editor) |
| Date: | 2002 |
| Additional Information: | Event Dates: 10-12 April 2002 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| ISI Citation Count: | 4 |
| URI: | http://eprints.soton.ac.uk/id/eprint/259116 |
Actions (login required)
 |
View Item |
