Towards Weak Bisimulation For Coalgebras
Jan Rothe, Dragan Mašulović · Electronic Notes in Theoretical Computer Science · 2002
This paper contains a novel approach to observational equivalence for coalgebras. We describe how to define weak homomorphisms, weak bisimulation, and investigate the connection between them as well as the relation to the known theory of bisimulation for coalgebras. The ultimate result of the paper is the correctness-proof for a weak coinduction proof principle.