@Article{NPPW08,
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={2008},

volume={},
number={},
pages={},
publisher={},
month={},
note={To appear},
key={}
}