Oltea Mihaela Herescu (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

5 Catuscia Palamidessi, Oltea Mihaela Herescu: A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice. IFIP TCS 2002: 537-549

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)

1 Oltea Mihaela Herescu, Catuscia Palamidessi: Probabilistic Asynchronous pi-Calculus. FoSSaCS 2000: 146-160

Selection of 6 from 6 records - Oltea Mihaela Herescu has 1 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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)
5		Catuscia Palamidessi, Oltea Mihaela Herescu: A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice. IFIP TCS 2002: 537-549
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)
1		Oltea Mihaela Herescu, Catuscia Palamidessi: Probabilistic Asynchronous pi-Calculus. FoSSaCS 2000: 146-160