Axiomatizations for probabilistic finite-state behaviours (2005)

by Y Deng, C Palamidessi
Venue:In Proceedings of the 8th International Conference on Foundations of Software Science and Computation Report No. 403, October 2008 UNU-IIST, P.O. Box 3058, Macao References 18 Structures. LNCS 3441:110–124