Oltea Mihaela Herescu

According to our database, Oltea Mihaela Herescu authored at least 4 papers between 2000 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

A randomized encoding of the Pi-calculus with mixed choice.

Catuscia Palamidessi, Oltea Mihaela Herescu

Theor. Comput. Sci., 2005

2002

A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice.

Catuscia Palamidessi, Oltea Mihaela Herescu

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

2001

On the generalized dining philosophers problem.

Oltea Mihaela Herescu, Catuscia Palamidessi

Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

2000

Probabilistic Asynchronous pi-Calculus.

Oltea Mihaela Herescu, Catuscia Palamidessi

Proceedings of the Foundations of Software Science and Computation Structures, 2000