Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.

Erik P. de Vink, Jan J. M. M. Rutten

Browse the full ICALP paper archive.