Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi  Home/Search
Context
Related
| sop.inria.fr/mimosa...papertcs98.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/mi...inpublications (more) Homepages: I.Castellani |
Rate this article:      (best)Comment on this article |
Abstract: The asynchronous π-calculus is a variant of the π-calculus where message emission is non-blocking. Honda and Tokoro have studied a semantics for this calculus based on bisimulation. Their bisimulation relies on a modied transition system where, at any moment, a process can perform any input action. In this paper, we propose... (Update)
Similar documents based on text: More All
1.2: On Bisimulations for the Asynchronous π-Calculus - Amadio, Castellani, Sangiorgi (1996) (Correct)
0.9: On Bisimulations for the Asynchronous π-calculus - Amadio, Castellani, Sangiorgi (1996) (Correct)
0.5: Modelling IP Mobility - Amadio, Prasad (1997) (Correct)
BibTeX entry: (Update)
@misc{ amadio-bisimulations,
author = "Roberto M. Amadio and Ilaria Castellani and Davide Sangiorgi",
title = "On Bisimulations for the Asynchronous $\pi$-calculus?",
url = "citeseer.ist.psu.edu/amadio97bisimulations.html" }
Citations (may not include all citations):1933 Communication and concurrency (context) - Milner - 1980
854 Information and Computation (context) - Milner, Parrow et al. - 1992
673 Actors: a model of concurrent computation in distributed sys.. (context) - Agha - 1986
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
197 Barbed bisimulation - Milner, Sangiorgi - 1992
140 On reduction based process semantics - Honda, Yoshida - 1995
97 Mathematical Structures in Computer Science (context) - Milner, processes
70 On asynchronous communication semantics - Honda, Tokoro - 1992
60 Decoding choice encodings - Nestmann, Pierce - 1996
49 Model checking mobile processes - Dam - 1993
49 A theory of bisimulation for the -calculus (context) - Sangiorgi - 1993
45 Asynchrony and the -calculus (context) - Boudol - 1992
19 Bisimulations for asynchronous mobile processes - Hansen, Kleist et al. - 1995
10 Some congruence properties for -calculus bisimilarities (context) - Boreale, Sangiorgi - 1996
[Article contains additional citations not shown here]
Documents on the same site (http://www-sop.inria.fr/mimosa/personnel/Ilaria.Castellani/main-publications.html): More
Synthesizing Distributed Transition Systems from.. - Castellani, Mukund.. (1999) (Correct)
Noninterference for Concurrent Programs and Thread Systems - Boudol, Castellani (2001) (Correct)
Testing Theories for Asynchronous Languages - Castellani, Hennessy (1998) (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