| |
| 2005 | ||
|---|---|---|
| 6 | EE | 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 | EE | Oltea Mihaela Herescu, Catuscia Palamidessi: On the generalized dining philosophers problem. PODC 2001: 81-89 |
| 3 | EE | Oltea Mihaela Herescu, Catuscia Palamidessi: Probabilistic asynchronous pi-calculus CoRR cs.PL/0109002: (2001) |
| 2 | EE | Oltea Mihaela Herescu, Catuscia Palamidessi: On the generalized dining philosophers problem CoRR cs.PL/0109003: (2001) |
| 2000 | ||
| 1 | EE | Oltea Mihaela Herescu, Catuscia Palamidessi: Probabilistic Asynchronous pi-Calculus. FoSSaCS 2000: 146-160 |
| 1 | Catuscia Palamidessi | [1] [2] [3] [4] [5] [6] |