An Algebra-Coalgebra Framework for System Specification
Open Access
- 31 December 2000
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 33, 80-110
- https://doi.org/10.1016/s1571-0661(05)80345-7
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- An approach to object semantics based on terminal co-algebrasMathematical Structures in Computer Science, 1995
- An introduction to category-based equational logicPublished by Springer Nature ,1995
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992