|
Search the dblp DataBase
Oltea Mihaela Herescu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Oltea Mihaela Herescu, Catuscia Palamidessi
Probabilistic Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2000, pp:146-160 [Conf]
- Catuscia Palamidessi, Oltea Mihaela Herescu
A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice. [Citation Graph (0, 0)][DBLP] IFIP TCS, 2002, pp:537-549 [Conf]
- Oltea Mihaela Herescu, Catuscia Palamidessi
On the generalized dining philosophers problem. [Citation Graph (0, 0)][DBLP] PODC, 2001, pp:81-89 [Conf]
- Oltea Mihaela Herescu, Catuscia Palamidessi
Probabilistic asynchronous pi-calculus [Citation Graph (0, 0)][DBLP] CoRR, 2001, v:0, n:, pp:- [Journal]
- Oltea Mihaela Herescu, Catuscia Palamidessi
On the generalized dining philosophers problem [Citation Graph (0, 0)][DBLP] CoRR, 2001, v:0, n:, pp:- [Journal]
- Catuscia Palamidessi, Oltea Mihaela Herescu
A randomized encoding of the Pi-calculus with mixed choice. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:335, n:2-3, pp:373-404 [Journal]
Search in 0.001secs, Finished in 0.001secs
|