Bisimulation for probabilistic transition systems: a coalgebraic approach (1999)

by E P de Vink, J J M M Rutten
Venue:Theoretical Computer Science