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, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, volume 3838 of LNCS