The probabilistic asynchronous p-calculus Catuscia Palamidessi, INRIA Futurs, France Imperial College Motivations Main motivation behind the development of the probabilistic…
