Compositional reasoning for probabilistic finite-state behaviors (2005)

by Yuxin Deng , Catuscia Palamidessi , Jun 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, LNCS 3838
Citations:17 - 4 self