On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability

This publication has 12 references indexed in Scilit:

• Towards a mathematical operational semantics
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On the structure of categories of coalgebras
  Theoretical Computer Science, 2001
• Specifying coalgebras with modal logic
  Theoretical Computer Science, 2001
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
  RAIRO - Theoretical Informatics and Applications, 2001
• Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems
  RAIRO - Theoretical Informatics and Applications, 2001
• Coalgebraic logic
  Annals of Pure and Applied Logic, 1999
• An approach to object semantics based on terminal co-algebras
  Mathematical Structures in Computer Science, 1995
• Handbook of Categorical Algebra
  Published by Cambridge University Press (CUP) ,1994
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992
• On the Structure of Abstract Algebras
  Mathematical Proceedings of the Cambridge Philosophical Society, 1935