Weak Bisimulation for ActionType Coalgebras (2005)

by A Sokolova, E P de Vink, H Woracek
Venue:In Category Theory and Computer Science, CTCS’04. ENTCS