Compositional reasoning for probabilistic finite-state behaviors (2005)

by Y Deng, C Palamidessi, J Pang
Venue:In Processes, Terms and Cycles: Steps on the Road to Infinity, volume 3838 of LNCS