Title: Testing equivalences for probabilistic processes
Subjects: Probabilistic automata, Probabilities