Martin Hansen, Hans Hüttel, Josva Kleist  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 ß-calculus in the sense that the communication of data values happens asynchronously. Previously, Honda and Tokoro [4] and Boudol [2] have described so-called asynchronous ß-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 and... (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.3: Semantics of Name and Value Passing - Fiore, Turi (2001) (Correct)
0.2: Semantics of Objects As Processes SOAP '99 - Hüttel, Kleist, Nestmann, (eds.) (1999) (Correct)
0.2: Relating Semantic Models for the Object Calculus - Aceto, Hüttel.. (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/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/hansen95bisimulations.html" }
Citations (may not include all citations):294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
56 INRIA Sophia-Antipolis (context) - Boudol, the et al. - 1992
54 Testing equivalences for mobile processes (context) - Boreale, De Nicola - 1992
22 A theory of bisimulation for the ß-calculus (context) - Sangiorgi - 1993
8 Process calculi with asynchronous communication (context) - Hansen, Kleist - 1994
7 Late and early semantics coincide for testing (context) - Ing'olfsd'ottir - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.brics.dk/NS/94/6/NWPT6/Abs/NWPT6-Abs/NWPT6-Abs.html): More
Preprocessing by Program Specialization - Malmkjaer, Danvy (1994) (Correct)
Program Separation As A Basis For Definitional Higher Order.. - Falkman (1994) (Correct)
A Semantic Theory for Value-Passing Processes Late Approach - Ingólfsdóttir (1995) (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