Compositional methods for probabilistic systems (2001)

by L de Alfaro, T A Henzinger, R Jhala
Venue:In CONCUR, LNCS 2154