Axiomatizations for Probabilistic Finite-State Behaviors.

Yuxin Deng, Catuscia Palamidessi

Browse the full FOSSACS paper archive.