Massimo Merro  Home/Search
Context Related
| inria.fr/meije/person...express99.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: sop.inria.fr/meij...Massimo.Merro (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We give a labeled characterization of barbed congruence in asynchronous -calculus, which, unlike previous characterizations, does not use the matching construct. In absence of matching the observer cannot directly distinguish two names. In asynchronous -calculus the fact that two names are indistinguishable can be modeled by means of Honda and Yoshida's notion of equator. Our labeled characterization is based on such a notion. As an application of our theory we provide a fully abstract encoding ... (Update)
Cited by: More
On the Expressiveness of Pure Safe Ambients - Zimmer (2002) (Correct)
On the Expressiveness of Pure Mobile Ambients - Zimmer (2000) (Correct)
A Theory of May Testing for Asynchronous Calculi with.. - Thati, Ziaei, Agha (2002) (Correct)
Similar documents (at the sentence level):
6.5%: Localité Dans Le Pi-Calcul Et Applications Aux . . . - Merro (2000) (Correct)
6.0%: On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (1998) (Correct)
Active bibliography (related documents): More All
0.8: Locality and Polyadicity in Asynchronous Name-Passing Calculi - Merro (2000) (Correct)
0.5: Asynchronous process calculi: the first-order and higher-order.. - Sangiorgi (1999) (Correct)
0.5: Strong Bisimulation for the Explicit Fusion Calculus - Wischik, Gardner (2004) (Correct)
Similar documents based on text: More All
0.8: On Bisimulations for the Asynchronous π-calculus - Amadio, Castellani, Sangiorgi (1996) (Correct)
0.4: Comparing the Expressive Power of the Synchronous and the.. - Palamidessi (2002) (Correct)
0.3: Probabilistic Asynchronous π-Calculus - Herescu, Palamidessi (2000) (Correct)
Related documents from co-citation: More All
8: On reduction-based process semantics - Honda, Yoshida - 1995
7: On asynchrony in name-passing calculi - Merro, Sangiorgi - 1998
4: Abstractions for mobile computations - Cardelli - 1998
BibTeX entry: (Update)
Merro, M., On Equators in Asynchronous Name-passing calculi without Matching, Technical Report available at http://www-sop.inria.fr/meije/personnel/Massimo.Merro.html. http://citeseer.ist.psu.edu/249450.html More
@inproceedings{ merrodidequators,
author = "Massimo Merro",
title = "On Equators in Asynchronous Name-passing Calculi without Matching",
url = "citeseer.ist.psu.edu/249450.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
294 An Object Calculus for Asynchronous Communications - Honda, Tokoro - 1991
197 Barbed bisimulation - Milner, Sangiorgi - 1992
140 On reduction-based process semantics - Honda, Yoshida - 1995
61 The fusion calculus: Expressiveness and symmetry in mobile p.. - Parrow, Victor - 1998
60 On asynchrony in name-passing calculi - Merro, Sangiorgi - 1998
47 On bisimulations for the asynchronous -calculus - Amadio, Castellani et al. - 1998
44 internal mobility and agent-passing calculi (context) - Sangiorgi - 1996
22 Bisimulation in name-passing calculi without matching (context) - Boreale, Sangiorgi - 1998
20 A Hierarchy of Equivalences for Asynchronous Calculi - Fournet, Gonthier - 1998
16 Two bisimilarities for the -calculus (context) - Honda - 1992
11 Minimality and Separation Results on Asynchronous Mobile Pro.. - Yoshida - 1998
9 On Equators in Asynchronous Name-passing calculi without Mat.. - Merro
7 Technical Report RR (context) - Boudol - 1992
4 to appear in Proof (context) - Pierce, Turner et al. - 1997
3 An eOEciency preorder for processes (context) - Arun-Kumar, Hennessy - 1992
2 Update and Fusion calculi (context) - Merro - 1998
1 iExpressing Mobility (context) - Sangiorgi - 1992
1 to appear in Proof (context) - Sangiorgi - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-sop.inria.fr/meije/personnel/Massimo.Merro.html): More
Locality and Polyadicity in Asynchronous Name-Passing Calculi - Merro (2000) (Correct)
On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (1998) (Correct)
Priorities in Statecharts - Maggiolo-Schettini, Merro (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