Weak bisimulation for action-type coalgebras (2004)

by A Sokolova, E P de Vink, H Woracek