A Process-Algebraic Language for Probabilistic I/O Automata.

Eugene W. Stark, Rance Cleaveland, Scott A. Smolka

Browse the full CONCUR paper archive.