#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2000

2005

- This year (0)
- Last five years (0)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

We propose an extension of the asynchronous-calculus with a notion of random choice. We deene an operational semantics which distinguishes between probabilistic choice, made internally by the process, and nondeterministic choice, made externally by an adversary scheduler. This distinction will allow us to reason about the probabilistic correctness of… (More)

- Oltea Mihaela Herescu, Catuscia Palamidessi
- FoSSaCS
- 2000

We propose an extension of the asynchronous π-calculus with a notion of random choice. We define an operational semantics which distinguishes between probabilistic choice, made internally by the process, and nondeterministic choice, made externally by an adversary scheduler. This distinction will allow us to reason about the probabilistic correctness of… (More)

We consider the problem of encoding the-calculus with mixed choice into the asynchronous-calculus via a uniform translation while preserving a reasonable semantics. Although it has been shown that this is not possible with an exact encoding, we suggest a randomized approach using a probabilistic extension of the asynchronous-calculus, and we show that our… (More)

- Catuscia Palamidessi, Oltea Mihaela Herescu
- Theor. Comput. Sci.
- 2005

We consider the problem of encoding the π-calculus with mixed choice into the asynchronous π-calculus via a uniform translation while preserving a reasonable semantics. Although it has been shown that this is not possible with an exact encoding, we suggest a randomized approach using a probabilistic extension of the asynchronous π-calculus, and we show that… (More)

In this dissertation, we consider a distributed implementation of the π-calculus, more precisely, the version of the π-calculus with mixed choice. To this end, we present the probabilistic asynchronous π-calculus, which is an extension of the asynchronous π-calculus enhanced with a notion of random choice. We define an operational semantics which… (More)

We consider a generalization of the dining philosophers problem to arbitrary connection topologies. We focus on symmetric, fully distributed systems, and we address the problem of guaranteeing progress and lockout-freedom, even in presence of adversary schedulers, by using randomized algorithms. We show that the well-known algorithms of Lehmann and Rabin do… (More)

- Catuscia Palamidessi, Oltea Mihaela Herescu
- IFIP TCS
- 2002

We consider the problem of encoding the-calculus (more precisely, the version of the-calculus with mixed choice) into the asynchronous-calculus via a uniform translation preserving a reasonable semantics. Although it has been shown that this is not possible with an exact encoding, we suggest a randomized approach using a probabilistic extension of the… (More)

- ‹
- 1
- ›