Composition and behaviors of probabilistic I/O automata (1997)

by S-H Wu, S A Smolka, E W Stark
Venue:Theoretical Computer Science