Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi  Home/Search
Context Related
| inria.fr/INRIA/publicat...RR2913.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: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The asynchronous pi-calculus is a variant of the pi-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 modified transition system where, at any moment, a process can perform any input action. In this paper we propose a new notion of bisimulation for the asynchronous pi-calculus, defined on top of the standard labelled transition system. We give several characterizations of this... (Update)
Context of citations to this paper: More
.... approach in the framework of process algebras: we give a small process algebra (an extension of the asynchronous pi calculus [29, 28, 10, 11, 23, 37]) that represents a small kernel programming language with a cryptographic type system, and we use process equivalence techniques...
Cited by: More
Strong Bisimulation for the Explicit Fusion Calculus - Wischik, Gardner (2004) (Correct)
A Model for Declarative Programming and Specification with.. - Caires (1999) (Correct)
An Architecture for Secure Fault-Tolerant Global Applications - Chothia, Duggan (Correct)
Similar documents (at the sentence level):
59.3%: On Bisimulations for the Asynchronous π-calculus - Amadio, Castellani, Sangiorgi (1996) (Correct)
54.5%: On Bisimulations for the Asynchronous π-calculus? - Amadio, Castellani, Sangiorgi (1997) (Correct)
Active bibliography (related documents): More All
0.3: An Asynchronous Model of Locality, Failure, and Process Mobility - Amadio (1997) (Correct)
0.2: On the Bisimulation Proof Method - Sangiorgi (1994) (Correct)
0.2: π-Calculus, Internal Mobility, and Agent-Passing Calculi - Sangiorgi (1995) (Correct)
Similar documents based on text: More All
0.9: Comparing the Expressive Power of the Synchronous and the.. - Palamidessi (2002) (Correct)
0.4: Testing Theories for Asynchronous Languages - Castellani, Hennessy (1998) (Correct)
0.4: Computing Bisimulations for Finite-Control pi-Calculus - Lin (Correct)
Related documents from co-citation: More All
5: The lazy lambda calculus in a concurrency scenario - Sangiorgi - 1994
5: An object calculus for asynchronous communication - Honda, Tokoro - 1991
4: Actors: a model of concurrent computation in distributed systems (context) - Agha - 1988
BibTeX entry: (Update)
Roberto M. Amadio, Ilaria Castellani, and Davide Sangiorgi. On bisimulations for the asynchronous pi-calculus. Technical report, INRIA-Sophia Antipolis, 1996. http://citeseer.ist.psu.edu/article/amadio96bisimulations.html More
@inproceedings{ amadio96bisimulations,
author = "Roberto M. Amadio and Ilaria Castellani and Davide Sangiorgi",
title = "On Bisimulations for the Asynchronous $\pi$--Calculus",
booktitle = "International Conference on Concurrency Theory",
pages = "147--162",
year = "1996",
url = "citeseer.ist.psu.edu/article/amadio96bisimulations.html" }
Citations (may not include all citations):854 Informa tion and Computation (context) - Milner, Parrow et al. - 1992
673 Actors: a model of concurrent computation in distributed sys.. (context) - Agha - 1986 ACM
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991 ACM DBLP
197 Barbed bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
140 On reduction based process semantics - Honda, Yoshida - 1995
70 On asynchronous communication semantics - Honda, Tokoro - 1992
60 Decoding choice encodings - Nestmann, Pierce - 1996 ACM DBLP
49 A theory of bisimulation for the -calculus (context) - Sangiorgi - 1993
19 Bisimulations for asynchronous mobile processes - Hansen, Kleist et al. - 1995
10 Some congruence properties for -calculus bisimilarities (context) - Boreale, Sangiorgi - 1996
7 Pict: a programming language based on the -calculus (context) - Pierce, Turner - 1996
6 The reAEexive CHAM and the join-calculus (context) - Fournet, Gonthier - 1996
4 Available via anonymous ftp from cma (context) - Sangiorgi, mobile et al. - 1995
1 So phia-Antipolis (context) - Boudol, the et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (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