@techreport{KNPV06,
author={M. Kwiatkowska and G. Norman and D. Parker and M.G. Vigliotti},
title={Probabilistic Mobile Ambients},
institution={University of Birmingham, School of Computer Science},
year={2006},

type={},
number={CSR-06-09},
address={},
month={},
note={},
key={}
}