TY - JOUR T1 - A process-algebraic language for probabilistic I/O automata JF - CONCUR 2003-Concurrency Theory Y1 - 2003 A1 - Stark,E. W A1 - Cleaveland, Rance A1 - Smolka,S. A ER -