Semantics of Probabilistic Processes An Operational Approach - Deng, Yuxin (Springer Berlin Heidelberg : Imprint: Springer, 2014)