Axiomatizations for probabilistic finite-state behaviors (2005)

by Y Deng, C Palamidessi
Venue:In Proc. of FOSSACS’05, volume 3441 of LNCS