Axiomatizations for Probabilistic Bisimulation. - Emanuele Bandini; Roberto Segala (ICALP, 2001)