On specification logics for algebra-coalgebra structures: Reconciling reachability and observability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2303, Issue , 2004, Pages 82-97

  Cîrstea, Corina ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SPECIFICATIONS;

ALGEBRAIC STRUCTURES; COALGEBRA STRUCTURE; COALGEBRAIC STRUCTURES; EQUATIONAL SPECIFICATIONS; MODULAR SPECIFICATIONS; REACHABILITY; SPECIFICATION FRAMEWORKS; SPECIFICATION LOGIC;

COMPUTATION THEORY;

EID: 84949024611     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45931-6_7     Document Type: Conference Paper

References (17)

1. J. Adámek, H. Herrlich, and G. E. Strecker. Abstract and Concrete Categories. John Wiley and Sons, 1990.
2. B. Banaschewski and H. Herrlich. Subcategories defined by implications. Houston Journal of Mathematics, 2(2), 1976.
3. G. Birkhoff. On the structure of abstract algebras. In Proceedings of the Cambridge Philosophical Society, volume 31, 1935.
4. F. Borceux. Handbook of Categorical Algebra, volume 2. CUP, 1994.
5. C. Cîrstea. Integrating observational and computational features in the specification of state-based, dynamical systems. Theoretical Informatics and Applications, 35(1), 2001.
6. J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1), 1992.
7. B. Jacobs. Many-sorted coalgebraic modal logic: A model-theoretic study. Theoretical Informatics and Applications, 35(1), 2001.
8. P. Johnstone, J. Power, T. Tsujishita, H. Watanabe, and J. Worrell. On the structure of categories of coalgebras. TCS, 260(1), 2001.
9. A. Kurz. Logics for Coalgebras and Applications to Computer Science. PhD thesis, Ludwig-Maximilians-Universit¨at M¨unchen, 2000.
10. A. Kurz. Specifying coalgebras with modal logic. TCS, 260(1), 2001.
11. A. Kurz and R. Hennicker. On institutions for modular coalgebraic specifications. To appear in Theoretical Computer Science.
12. G. Malcolm. Behavioural equivalence, bisimulation, and minimal realisation. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Proceedings, WADT, volume 1130 of LNCS. Springer, 1996.
13. L. S. Moss. Coalgebraic logic. Annals of Pure and Applied Logic, 96, 1999.
14. H. Reichel. An approach to object semantics based on terminal coalgebras. Mathematical Structures in Computer Science, 5, 1995.
15. M. Rößiger. Coalgebras and modal logic. In H. Reichel, editor, Coalgebraic Methods in Computer Science, volume 33 of ENTCS. Elsevier Science, 2000.
16. J. J. M. M. Rutten. Universal coalgebra: a theory of systems. TCS, 249(1), 2000.
17. D. Turi and G. Plotkin. Towards a mathematical operational semantics. In Proceedings, LICS, 1997.