Probabilistic I/O Automata: Theories of Two Equivalences.

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

Browse the full CONCUR paper archive.