Composition and Behaviors of Probabilistic I/O Automata.

Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark

Browse the full CONCUR paper archive.