Probabilistic Asynchronous pi-Calculus.

Oltea Mihaela Herescu, Catuscia Palamidessi

Browse the full FOSSACS paper archive.