Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Objects and classes, co-algebraically
Object orientation with parallelism and persistence
A Completeness result for equational deduction in coalgebraic specification
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Universal coalgebra: a theory of systems
Universal coalgebra: a theory of systems
Observational Coalgebras and Complete Sets of Co-operations
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
| Hi-index | 5.23 |
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.