A randomized encoding of the pi-calculus with mixed choice - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 2005

A randomized encoding of the pi-calculus with mixed choice

Abstract

We consider the problem of encoding the pi-calculus with mixed choice into the asynchronous pi-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 pi-calculus, and we show that our solution is correct with probability 1 under any proper adversary wrt a notion of testing semantics. This result establishes the basis for a distributed and symmetric implementation of mixed choice which, differently from previous proposals in literature, does not rely on assumptions on the relative speed of processes and it is robust to attacks of proper adversaries.
Fichier principal
Vignette du fichier
report.pdf (293.9 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00201105 , version 1 (23-12-2007)

Identifiers

Cite

Catuscia Palamidessi, Oltea Mihaela Herescu. A randomized encoding of the pi-calculus with mixed choice. Theoretical Computer Science, 2005, 335 (2-3), pp.373-404. ⟨10.1016/j.tcs.2004.11.020⟩. ⟨inria-00201105⟩
316 View
180 Download

Altmetric

Share

Gmail Facebook X LinkedIn More