supported by National Natural Science Foundation of China (Grant Nos. 60973004,61170299,70890080);National Basic Research Program of China (Grant Nos. 2009CB320701,2010CB328103)
Although different kinds of probabilistic π-calculus have been introduced and found their place in quantitative verification and evaluation, their behavioural equivalences still lack a deep investigation. We propose ...