Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata.

Eugene W. Stark, Scott A. Smolka

Browse the full LICS paper archive.