Martin Hansen Hans Hilttel* Josva Kleist BRICS Department of Math. Comp....  Home/Search
Context Related
| brics.dk/NS/94/6/NWPT...NWPT6HHK.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: brics.dk/NS/94/6/NWPT...NWPT6Abs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we consider Plain LAL, a mobile process calculus which differs from the 7r-calculus in the sense that the communication of data values hap- pens asynchronously. Previously, Honda and Tokoro [4] and Boudol [2] have described so-called asynchronous 7r-calculi. However, they have not studied the notion of equivalence within this setting. The surprising result is that in the presence of asynchrony, the open, late and early bisimulation equivalences coincide. As the equivalences are one... (Update)
Context of citations to this paper: More
.... to name instantiation for various forms of synchronous bisimulations) Forms of asynchronous calculus have also been studied in [7], but the bisimilarity used is the standard (synchronous) one. Part of our theory, in particular axioms and normal forms, is based on that...
...we instead go for as simple a version of the calculus as possible. The version that we shall use is the asynchronous calculus [CS96, Bou92, HT91, HK95]. The syntax of asynchronous calculus is in the present paper given by: P : a b j P jP j ( a)P j G j G G : 0 j a( b)...
Cited by: More
On Bisimulations for the Asynchronous π-calculus? - Amadio, Castellani, Sangiorgi (1997) (Correct)
Trace and Testing Equivalence on Asynchronous Processes - Boreale, De Nicola, Pugliese (1999) (Correct)
Strong Bisimilarity Can Be Opened - Andersen, Hüttel, Jensen (2002) (Correct)
Active bibliography (related documents): More All
0.3: Bisimulations for Asynchronous Mobile Processes - Hansen, Hüttel, Kleist (1995) (Correct)
0.1: A Semantic Theory for Value-Passing Processes Late.. -.. (1995) (Correct)
0.1: A Symbolic Approach to Value-Passing Processes - Ingólfsdóttir, Lin (Correct)
Similar documents based on text: More All
0.6: A Theory of Bisimulation for the pi-calculus - Sangiorgi (1993) (Correct)
0.5: A Partition Refinement Algorithm for the pi-calculus - Pistore, Sangiorgi (Correct)
0.4: Open Maps as a Bridge Between Algebraic Observational Equivalence .. - Lasota (1997) (Correct)
Related documents from co-citation: More All
16: An object calculus for asynchronous communication - Honda, Tokoro - 1991
11: Information and Computation (context) - Milner, Parrow et al. - 1992
10: Barbed bisimulation - Milner, Sangiorgi - 1992
BibTeX entry: (Update)
M. Hansen, J. Kleist, and H. H uttel. Bisimulations for Asynchronous Mobile Processes. In Proc. of the Tbilisi Symposium on Language, Logic, and Computation, 1995. http://citeseer.ist.psu.edu/article/hansen95bisimulations.html More
@inproceedings{ hansen95bisimulations,
author = "Martin Hansen and Hans H{\"u}ttel and Josva Kleist",
title = "Bisimulations for asynchronous mobile processes",
booktitle = "Proceedings of 6th International Conference on Concurrency Theory ({CONCUR} '95, Philadelphia)",
volume = "962",
publisher = "Springer-Verlag",
editor = "Insup Lee and Scott A. Smolka",
year = "1995",
url = "citeseer.ist.psu.edu/article/hansen95bisimulations.html" }
Citations (may not include all citations):294 An object calculus for asynchronous communi- cation - Honda, Tokoro - 1991
56 INRIA Sophia-Antipolis (context) - Boudol, the et al. - 1992
54 Testing equivalences for mobile pro- cesses (context) - Boreale, De Nicola - 1992
33 A calculus of mobile processes part I and II (context) - Milner, Parrow et al. - 1989
8 Process calculi with asynchronous com- munication (context) - Hansen, Kleist - 1994
7 Late and early semantics coincide for testing (context) - Ing, ttir - 1994
1 A theory of bisimulation for the x-calculus (context) - Sangiorgi - 1993
The graph only includes citing articles where the year of publication is known.
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