@Article{KNPV09,
author={M. Kwiatkowska and G. Norman and D. Parker and M.G. Vigliotti},
title={Probabilistic Mobile Ambients},
journal={Theoretical Computer Science},
year={2009},

volume={410},
number={12--13},
pages={1272--1303},
publisher={},
_month={March},
note={},
key={}
}