Oltea Mihaela Herescu

Learn More
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(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(More)
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