Compositional analysis of expected delays in networks of probabilistic I/O automata (1998)

by E W Stark, S A Smolka
Venue:In Proc. 13th IEEE Symp. Logic in Comp. Sci