(Ω, Ξ)-logic: on the algebraic extension of coalgebraic specifications
- We present an extension of standard coalgebraic specification techniques for state based systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω;,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)-structure and a sound and complete proof system for (first-order) observational properties of specifications.
Download full text files
Statistics
Print On Demand
Additional Services
| Author: | Rolf Hennicker, Alexander Kurz |
|---|---|
| URN: | urn:nbn:de:bvb:384-opus4-1233611 |
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/123361 |
| ISSN: | 1571-0661OPAC |
| Parent Title (English): | Electronic Notes in Theoretical Computer Science |
| Publisher: | Elsevier BV |
| Place of publication: | Amsterdam |
| Type: | Article |
| Language: | English |
| Year of first Publication: | 1999 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2025/07/18 |
| Volume: | 19 |
| First Page: | 164 |
| Last Page: | 180 |
| DOI: | https://doi.org/10.1016/s1571-0661(05)80275-0 |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Licence (German): |  CC-BY-NC-ND 3.0: Creative Commons - Namensnennung - Nicht kommerziell - Keine Bearbeitung (mit Print on Demand) |
