Towards weak bisimulation for coalgebras (2002)

by J Rothe, D Mašulović
Venue:Proc. Categorical Methods for Concurrency, Interaction and Mobility. pp. 32–46, ENTCS 68