TY - JOUR T1 - Testing preorders for probabilistic processes JF - Automata, Languages and Programming Y1 - 1992 A1 - Cleaveland, Rance A1 - Smolka,S. A1 - Zwarico,A. ER -