Concurrency and composition in a stochastic world (2010)

by C Eisentraut, H Hermanns, L Zhang
Venue:Proc. CONCUR 2010