Weak Bisimulation for Probabilistic Systems.

Anna Philippou, Insup Lee, Oleg Sokolsky

Browse the full CONCUR paper archive.