Coalgebraic weak bisimulation for action-type systems (2009)

by A Sokolova, E de Vink, H Woracek
Venue:Scientific Annals of Computer Science