@InProceedings{Herescu:00:FOSSACS,
 author =       "Oltea Mihaela Herescu and Catuscia Palamidessi",
 title =        "Probabilistic Asynchronous $\pi$-Calculus",
 year =         "2000",
 booktitle={Proceedings of FOSSACS 2000 (Part of ETAPS 2000)},
 pages={146--160},
 editor={Jerzy Tiuryn},
 series={Lecture Notes in Computer Science},
 publisher={Springer-Verlag}
 note = "Postscript available at \verb|http://cse.psu.edu/~catuscia/papers/Prob_asy_pi/fossacs.ps|"
}