Oltea Mihaela Herescu

	2005
6		Catuscia Palamidessi, Oltea Mihaela Herescu: A randomized encoding of the Pi-calculus with mixed choice. Theor. Comput. Sci. 335(2-3): 373-404 (2005)
	2002
5		Catuscia Palamidessi, Oltea Mihaela Herescu: A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice. IFIP TCS 2002: 537-549
	2001
4		Oltea Mihaela Herescu, Catuscia Palamidessi: On the generalized dining philosophers problem. PODC 2001: 81-89
3		Oltea Mihaela Herescu, Catuscia Palamidessi: Probabilistic asynchronous pi-calculus CoRR cs.PL/0109002: (2001)
2		Oltea Mihaela Herescu, Catuscia Palamidessi: On the generalized dining philosophers problem CoRR cs.PL/0109003: (2001)
	2000
1		Oltea Mihaela Herescu, Catuscia Palamidessi: Probabilistic Asynchronous pi-Calculus. FoSSaCS 2000: 146-160

Coauthor Index

1

Catuscia Palamidessi

[1] [2] [3] [4] [5] [6]