Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Publication Type
Articles 1 - 2 of 2
Full-Text Articles in Other Mathematics
Grundlagenreflexionen Zur Thematik Anthropomorpher Schnittstellen, Rudolf Kaehr
Grundlagenreflexionen Zur Thematik Anthropomorpher Schnittstellen, Rudolf Kaehr
Rudolf Kaehr
Report for the EMBASSI Project
(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz
(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz
Engineering Faculty Articles and Research
We present an extension of standard coalgebraic specification techniques for statebased 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.