Gethin Norman Catuscia Palamidessi David Parker Peng Wu 0002 Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. 209-223 2009 35 IEEE Trans. Software Eng. 2 http://dx.doi.org/10.1109/TSE.2008.77 db/journals/tse/tse35.html#NormanPPW09