Testing preorders for probabilistic processes (0)

by R Cleaveland, S Smolka, A Zwarico
Venue:Automata, Languages and Programming (ICALP 92), number 623 in Lecture