Abstract and concrete categories
Abstract and concrete categories
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
On the structure of categories of coalgebras
Theoretical Computer Science
Specifying coalgebras with modal logic
Theoretical Computer Science
Behavioural Equivalence, Bisimulation, and Minimal Realisation
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Towards a Mathematical Operational Semantics
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Theoretical Computer Science - Selected papers of CMCS'03
Varieties and Covarieties of Languages (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.02 |
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.