@misc{indiciae8a1d25f39934,
  title = {Probabilistic asynchronous pi-calculus},
  author = {Oltea Mihaela Herescu and Catuscia Palamidessi},
  year = {2001},
  url = {https://arxiv.org/abs/cs/0109002},
  note = {Source identifier: cs/0109002}
}