A process-algebraic language for probabilistic I/O automata (0)

by E W Stark, R Cleaveland, S A Smolka
Venue:International Conference on Concurrency Theory, Lect. Notes in Comp. Sci. 2761 (2003