Probabilistic Asynchronous pi-Calculus. - Oltea Mihaela Herescu; Catuscia Palamidessi (FoSSaCS, 2000)

On the generalized dining philosophers problem. - Oltea Mihaela Herescu; Catuscia Palamidessi (PODC, 2001)

A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice. - Catuscia Palamidessi; Oltea Mihaela Herescu (IFIP TCS, 2002)

A randomized encoding of the Pi-calculus with mixed choice. - Catuscia Palamidessi; Oltea Mihaela Herescu (Theor. Comput. Sci., 2005)