An Axiomatisation of the Probabilistic \mu -Calculus.

Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang

Browse the full ICFEM paper archive.