Weak bisimulation for action-type coalgebras (2005)

by A Sokolova, E P de Vink, H Woracek
Venue:Electr. Notes Theor. Comput. Sci