A Stochastic Pi Calculus for Concurrent Objects

@inproceedings{Kuttler2007ASP,
  title={A Stochastic Pi Calculus for Concurrent Objects},
  author={C{\'e}line Kuttler and C{\'e}dric Lhoussaine and Joachim Niehren},
  booktitle={AB},
  year={2007}
}
Highly Cited
This paper has 35 citations. REVIEW CITATIONS