Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi  Home/Search
Context Related
| inria.fr/mimosa/per...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: inria.fr/mimosa...inpublications (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, dened 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):
76.0%: On Bisimulations for the Asynchronous π-calculus? - Amadio, Castellani, Sangiorgi (1997) (Correct)
44.3%: On Bisimulations for the Asynchronous π-Calculus - Amadio, Castellani, Sangiorgi (1996) (Correct)
Active bibliography (related documents): More All
0.3: An Asynchronous Model of Locality, Failure, and Process Mobility - Amadio (1997) (Correct)
0.1: The Receptive Distributed π-Calculus (Extended Abstract) - Amadio, Boudol, al. (Correct)
0.1: The Receptive Distributed π-Calculus - Amadio, Boudol, Lhoussaine (1999) (Correct)
Similar documents based on text: More All
0.8: On Equators in Asynchronous Name-passing Calculi without Matching.. - Merro (1999) (Correct)
0.8: Comparing the Expressive Power of the Synchronous and the.. - Palamidessi (2002) (Correct)
0.7: On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (1998) (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/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/amadio96bisimulations.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
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
7 Pict: a programming language based on the -calculus (context) - Pierce, Turner - 1997
6 The reAEexive CHAM and the join-calculus (context) - Fournet, Gonthier - 1996
2 Invited for iFestschrift volume in honor of Robin Milner's 6.. (context) - Sangiorgi, mobile et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.inria.fr/mimosa/personnel/Ilaria.Castellani/main-publications.html): More
Testing Theories for Asynchronous Languages - Castellani, Hennessy (1998) (Correct)
Noninterference for Concurrent Programs - Boudol, Castellani (2001) (Correct)
Noninterference for Concurrent Programs and Thread Systems - Boudol, Castellani (2001) (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