Bisimulation for probabilistic transition systems: a coalgebraic approach (extended abstract (1997)

by J J M M Rutten, E de Vink
Venue:In Proceedings 24th ICALP, Bologna, LNCS 1256