Axiomatizations for probabilistic finite-state behaviors (2007)

by Y Deng, C Palamidessi
Venue:Theor. Comput. Sci