Catuscia Palamidessi, Oltea Mihaela Herescu  Home/Search
Context Related
| lamp.epfl.ch/~uwe/...:rand.choice.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lamp.epfl.ch/~uwe/citations/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 solution is correct with probability 1 under any proper adversary wrt a notion of testing semantics. This result establishes the... (Update)
Cited by: More
A Randomized Encoding of the π-Calculus with Mixed Choice - Palamidessi, Herescu (2001) (Correct)
Similar documents (at the sentence level):
34.9%: A Randomized Distributed Encoding of the π-Calculus.. - Palamidessi, Herescu (2002) (Correct)
31.3%: The Probabilistic Asynchronous π-Calculus - Herescu (2002) (Correct)
15.3%: Probabilistic Asynchronous π-Calculus - Herescu, Palamidessi (2000) (Correct)
Active bibliography (related documents): More All
0.5: Research Overview and Plans - Catuscia Palamidessi March (Correct)
0.5: Two Decentralized Algorithms for Strong Interaction Fairness for.. - Joung (2000) (Correct)
0.3: Information Societies Technology - Ist Programme Contract (Correct)
Similar documents based on text: More All
0.3: On the Generalized Dining Philosophers Problem - Herescu, Palamidessi (2001) (Correct)
0.3: YOO (Why Object-Orientation) - Rensink (2000) (Correct)
0.2: Memory in Motion: A Study of Storage Structures in QCA - Frost, Rodrigues.. (2002) (Correct)
Related documents from co-citation: More All
2: the advantage of free choice: a symmetric and fully distributed solution to the .. (context) - Lehmann, Rabin - 1981
2: Theoretical Computer Science (context) - Milner, Parrow et al. - 1993
2: the generalized dining philosophers problem (context) - Herescu, Palamidessi - 2001
BibTeX entry: (Update)
Catuscia Palamidessi and Oltea M. Herescu. A randomized encoding of the -calculus with mixed choice. Technical report, Dept. of Comp. Sci. and Eng., The Pennsylvania State University, 2001. Postscript available at http://cse.psu.edu/~catuscia/papers/probenc/report.ps. http://citeseer.ist.psu.edu/palamidessi01randomized.html More
@misc{ palamidessi01randomized,
author = "C. Palamidessi and O. Herescu",
title = "A randomized encoding of the -calculus with mixed choice",
text = "Catuscia Palamidessi and Oltea M. Herescu. A randomized encoding of the
-calculus with mixed choice. Technical report, Dept. of Comp. Sci. and Eng.,
The Pennsylvania State University, 2001. Postscript available at http://cse.psu.edu/~catuscia/papers/probenc/report.ps.",
year = "2001",
url = "citeseer.ist.psu.edu/palamidessi01randomized.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
216 Theoretical Computer Science (context) - Milner, Parrow et al. - 1993
174 Probabilistic simulations for probabilistic processes - Segala, Lynch - 1995
149 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
73 Comparing the expressive power of the synchronous and the as.. - Palamidessi - 1997
57 the advantages of free choice: A symmetric and fully distrib.. (context) - Rabin, Lehmann - 1994
54 Testing equivalence for mobile processes (context) - Boreale, De Nicola - 1995
51 Compositional testing preorders for probabilistic processes - Jonsson, Yi - 1995
47 On bisimulations for the asynchronous -calculus - Amadio, Castellani et al. - 1998
44 internal mobility and agent-passing calculi (context) - Sangiorgi - 1996
27 Probabilistic extensions of process algebras - Jonsson, Larsen et al.
24 Multiway synchronization verified with coupled simulation - Parrow, Sjodin - 1992
23 A distributed protocol for channel-based communications with.. - Knabe - 1993
19 good' encoding of guarded choice (context) - Nestmann - 1997
13 A distributed abstract data type implemented by a probabilis.. (context) - Francez, Rodeh - 1980
12 Testing probabilistic automata (context) - Segala - 1996
10 Probabilistic asynchronous -calculus - Herescu, Palamidessi - 2000
10 Real-time synchronization of interprocess communications (context) - Reif, Spirakis - 1984
7 Fault-tolerant algorithms for fair interprocess synchronizat.. (context) - Tsay, Bagrodia - 1994
6 Strong interaction fairness via randomization - Joung, Smolka - 1998
4 An extended abstract appeared in the Proceedings of EXPRESS (context) - Nestmann, of et al. - 2000
4 the generalized dining philosophers problem (context) - Herescu, Palamidessi - 2001
3 An extended abstract appeared in the Proceedings of CONCUR (context) - Nestmann, Pierce et al. - 2000
2 A randomized encoding of the -calculus with mixed choice - Palamidessi, Herescu - 2001
Documents on the same site (http://lamp.epfl.ch/~uwe/citations/): More
On the Generalized Dining Philosophers Problem - Herescu, Palamidessi (2001) (Correct)
Asynchronous process calculi: the first-order and higher-order.. - Sangiorgi (1999) (Correct)
Comparing the Expressive Power of the Synchronous and the.. - Palamidessi (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC