Decision Algorithms for Probabilistic Bisimulation.

Stefano Cattani, Roberto Segala

Browse the full CONCUR paper archive.