An algebra-coalgebra framework for system specification

Electronic Notes in Theoretical Computer Science

Volumn 33, Issue , 2000, Pages 80-110

  Cîrstea, Corina ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; INTEGRATION; MATHEMATICAL OPERATORS; SEMANTICS; STATE SPACE METHODS;

ALGEBRAIC TECHNIQUES; COALGEBRA; COMPUTATIONAL FEATURES; SYSTEM SPECIFICATION;

BOOLEAN ALGEBRA;

EID: 18944376182     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80345-7     Document Type: Conference Paper

References (14)

1. Borceux F. Handbook of Categorial Algebra. volume II. 1994;Cambridge University Press, Cambridge
2. Cirstea C. Coalgebra semantics for hidden algebra: parameterised objects and inheritance. Parisi-Presicce F. Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS. 1998;Springer
3. Cǐrstea C. A coequational approach to specifying behaviours. Jacobs B., Rutten J. Coalgebraic Methods in Computer Science, volume 19 of ENTCS. 1999;Elsevier Science
4. Corradini A. A complete calculus for equational deduction in coalgebraic specification. Parisi-Presicce F. Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS. 1998;Springer
5. Corradini A., Heckel R., Montanari U. From SOS specifications to structured coalgebras: How to make bisimulation a congruence. Jacobs B., Rutten J. Coalgebraic Methods in Computer Science, volume 19 of ENTCS. 1999;Elsevier Science
6. Goguen J., Burstall R. Institutions: Abstract model theory for specification and programming. Journal of the ACM. 39:(1):January 1992
7. J. Goguen and R. Diaconescu. An introduction to category-based equational logic. In V.S. Alagar and M. Nivat, editors, Proceedings, AMAST '95, volume 936 of LNCS. Springer, 1995.
8. Goguen J., Malcolm G. A hidden agenda. Technical Report CS97-538, UCSD. 1997
9. Jacobs B. Objects and classes, coalgebraically. Freitag B., Jones C.B., Lengauer C., Schek H.-J. Object Orientation with Parallelism and Persistence. 1996;Kluwer Academic Publishers
10. Reichel H. An approach to object semantics based on terminal coalgebras. Mathematical Structures in Computer Science. 5:1995
11. G. Roşu and J. Goguen. Hidden congruent deduction. In Proceedings, First Order Theorem Proving '98, volume 1761 of LNCS. Springer, 1999.
12. Rutten J. Universal coalgebra: a theory of systems. Technical Report CS-R9652, CWI. 1996
13. Smyth M.B., Plotkin G.D. The category-theoretic solution of recursive domain equations. SIAM Journal of Computing. 4:(11):1982
14. D. Turi and G. Plotkin. Towards a mathematical operational semantics. In Proceedings, LICS, 1997.