Composition and behaviors of probabilistic i/o automata (1994)

by S-H Wu, S A Smolka, E W Stark
Venue:Proceedings CONCUR 94