Towards Weak Bisimulation For Coalgebras

This publication has 8 references indexed in Scilit:

• Institutionalising Many-Sorted Coalgebraic Modal Logic
  Electronic Notes in Theoretical Computer Science, 2002
• A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras
  Electronic Notes in Theoretical Computer Science, 2002
• Semantical Principles in the Modal Logic of Coalgebras
  Published by Springer Nature ,2001
• Universal coalgebra: a theory of systems
  Theoretical Computer Science, 2000
• A note on Coinduction and Weak Bisimilarity for While Programs
  RAIRO - Theoretical Informatics and Applications, 1999
• Relators and Metric Bisimulations: (Extended Abstract)
  Electronic Notes in Theoretical Computer Science, 1998
• An approach to object semantics based on terminal co-algebras
  Mathematical Structures in Computer Science, 1995
• The linear time — Branching time spectrum II
  Published by Springer Nature ,1993