Towards weak bisimulation for coalgebras (2002)

by J Rothe, D Maˇsulović
Venue:Proc. Categorical Methods for Concurrency, Intercation and Mobility. ENTCS 68