Towards Weak Bisimulation for Coalgebras (0)

by J Rothe, D Mašulović
Venue:Proceedings of CMCIM’2002, volume 68.1 of ENTCS