Behavioural equivalence, bisimulation, and minimal realisation

This publication has 25 references indexed in Scilit:

• A final coalgebra theorem
  Published by Springer Nature ,2005
• Modal Logic, Transition Systems and Processes
  Journal of Logic and Computation, 1994
• Terminal coalgebras in well-founded set theory
  Theoretical Computer Science, 1993
• An “Ehrenfeucht-Fraïssé game” for fixpoint logic and stratified fixpoint logic
  Lecture Notes in Computer Science, 1993
• A domain equation for bisimulation
  Information and Computation, 1991
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Algebraic implementation of abstract data types
  Theoretical Computer Science, 1982
• Observability and Nerode equivalence in concrete categories
  Published by Springer Nature ,1981
• Machines in a Category: An Expository Introduction
  SIAM Review, 1974
• Minimal realization of machines in closed categories
  Bulletin of the American Mathematical Society, 1972