A Process-Algebraic Language for Probabilistic I/O Automata”, (2003)

by E W Stark, R Cleaveland, S A Smolka
Venue:in Proc. of the 14th Int. Conf. on Concurrency Theory (CONCUR 2003), LNCS 2761:189-203,