Massimo Merro, Josva Kleist, Uwe Nestmann  Home/Search
Context Related
| cs.auc.dk/research/FS...mompfull.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: cs.auc.dk/research/FS/ojeblik (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we rewrite our modified semantics of jeblik in terms of the #-calculus, and we use it to formally prove the correctness of object surrogation, the abstraction of object migration in jeblik. Key Words: #-calculus, Objects, Migration 1. (Update)
Context of citations to this paper: More
.... of Theorem 1, where only a subset of inductively defined contexts is taken into account, is found in [HKMN99] In a forthcoming paper [MHKN99], we show how to carry out the lengthy proof using a refined translation into calculus that allows us to prove a much stronger...
...contexts is taken into account, is found in [10] but the underlying calculus translation had several flaws. In our recent paper [14], we show the non trivial proof based on a translation of jeblik that carefully follows the serialized model, and with respect to the...
Cited by: More
Unknown - (Correct)
On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (Correct)
Aliasing Models for Mobile Objects - Nestmann, Hüttel, Kleist, Merro (1999) (Correct)
Similar documents (at the sentence level):
51.2%: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (2001) (Correct)
28.2%: Local pi-Calculus at Work: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (2001) (Correct)
12.7%: Localité Dans Le Pi-Calcul Et Applications Aux . . . - Merro (2000) (Correct)
Active bibliography (related documents): More All
0.7: Typing Non-uniform Concurrent Objects - Ravara (1999) (Correct)
0.3: Asynchronous Sequential Processes - Caromel, Henrio, Serpette (2003) (Correct)
0.3: On the Expressive Power of Polyadic Synchronisation in.. - Carbone, Maffeis (2002) (Correct)
Similar documents based on text: More All
1.7: Aliasing Models for Object Migration - Nestmann, Hüttel, Kleist, Merro (1999) (Correct)
1.5: Migration = Cloning ; Aliasing - Hüttel, Kleist, Merro, Nestmann (Correct)
1.4: Surrogates in Ĝjeblik: Towards Migration in Obliq - Hüttel, Kleist, Nestmann.. (1998) (Correct)
Related documents from co-citation: More All
5: Information and Computation (context) - Milner, Parrow et al. - 1992
5: Imperative Objects and Mobile Processes - Kleist, Sangiorgi - 1998
4: A language with distributed scope - Cardelli - 1995
BibTeX entry: (Update)
M. Merro, H. Huttel, J. Kleist and U. Nestmann. Mobile Objects As Mobile Processes. Draft report. Available from Massimo.Merro@sophia.inria.fr, 1999. http://citeseer.ist.psu.edu/merro01mobile.html More
@misc{ merro99mobile,
author = "M. Merro and H. Huttel and J. Kleist and U. Nestmann",
title = "Mobile Objects As Mobile Processes",
text = "M. Merro, H. Huttel, J. Kleist and U. Nestmann. Mobile Objects As Mobile
Processes. Draft report. Available from Massimo.Merro@sophia.inria.fr, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/merro01mobile.html" }
Citations (may not include all citations):405 Fine-grained mobility in the Emerald system - Jul, Levy et al. - 1988
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
264 A language with distributed scope - Cardelli
197 Barbed bisimulation - Milner, Sangiorgi - 1992
149 calculus: A tutorial (context) - Milner
140 On reduction-based process semantics - Honda, Yoshida - 1995
127 Information and Computation (context) - Walker, the - 1995
118 Lambda Calculus Models of Programming Languages (context) - Morris - 1968
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
92 Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
81 calculus: a Theory of Mobile Processes (context) - Sangiorgi, Walker - 2001
73 The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier - 1996
61 weak bisimulation up to (context) - Sangiorgi, Milner et al. - 1992
60 On asynchrony in name-passing calculi - Merro, Sangiorgi - 1998
59 The name discipline of uniform receptiveness - Sangiorgi - 1999
56 INRIA Sophia-Antipolis (context) - Boudol, the et al. - 1992
34 Theoretical Computer Science (context) - Amadio, Castellani et al. - 1998
33 ACM Transactions on Programming Languages and Systems (context) - Van Roy, Haridi et al. - 1997
30 Locality and non-interleaving semantics in calculi for mobil.. - Sangiorgi - 1996
30 Imperative objects and mobile processes - Kleist, Sangiorgi - 1998
29 Compilation and equivalence of imperative objects - Gordon, Hankin et al.
15 On transformations of concurrent object programs (context) - Philippou, Walker - 1998
12 Lazy functions and mobile processes - Sangiorgi - 2000
9 calculus and applications to distributed objects (context) - Merro, the - 2000
8 Available from clt@cs (context) - Talcott, notes - 1996
8 An extended abstract has appeared as Distinguished Paper in .. (context) - Nestmann, Huttel et al. - 2000
8 A concurrent object calculus: Reduction and typing - Gordon, Hankin - 1998
7 calculus at work: A proof of Jones's parallelisation theorem.. (context) - Sangiorgi
7 A concurrent object calculus (context) - Di Blasio, Fisher
6 Objects as mobile processes - Huttel, Kleist - 1996
5 Locality and polyadicity in asynchronous name-passing calcul.. - Merro
2 and Uwe Nestmann (context) - Huttel, Kleist et al. - 1999
1 An interpretation of typed objects into typed #-calculus (context) - Sangiorgi
1 Two bisimilarities for the #-calculus (context) - Honda - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.auc.dk/research/FS/ojeblik): More
Aliasing Models for Mobile Objects - Nestmann, Hüttel, Kleist (2002) (Correct)
Mobile Objects "must" Move Safely - Briais, Nestmann (2002) (Correct)
Unknown - Project Unit Se (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