@Article{NPPW09,
author={G. Norman and C. Palamidessi and D. Parker and P. Wu},
title={ Model checking probabilistic and stochastic extensions of the $\pi$-calculus},
journal={IEEE Transactions on Software Engineering},
year={2009},

volume={35},
number={2},
pages={209-223},
publisher={},
month={},
note={},
key={}
}