Uwe Nestmann, Hans Hüttel, Josva Kleist  Home/Search
Context Related
| cs.auc.dk/research/FS...ammofull.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: CONTENTS 1. Introduction. 2. Typed Protected Serialized Concurrent Objects. 3. Intermezzo: Towards Formal Semantics. 4. Four Operational Semantics for jeblik. 5. On the Safety of Surrogation. 6. Conclusion. 1. INTRODUCTION Mobile object systems have been investigated for more than one decade, starting out with early representants, like Emerald [11], and recently a whole series of scientific workshops has been dedicated to mobile object systems [25]. While mobility in object systems has... (Update)
Cited by: More
Asynchronous and Deterministic Objects - Denis Caromel Ludovic (2004) (Correct)
Asynchronous Sequential Processes - Caromel, Henrio, Serpette (2003) (Correct)
Similar documents (at the sentence level):
53.9%: Aliasing Models for Mobile Objects - Nestmann, Hüttel, Kleist, Merro (1999) (Correct)
6.5%: Localité Dans Le Pi-Calcul Et Applications Aux . . . - Merro (2000) (Correct)
6.2%: Aliasing Models for Object Migration - Hüttel, Kleist, Merro (1999) (Correct)
Active bibliography (related documents): More All
1.0: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (2001) (Correct)
0.6: Mobile Objects - Nestmann (Correct)
0.5: Local pi-Calculus at Work: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (Correct)
Similar documents based on text: More All
1.1: Mobile Objects "must" Move Safely - Briais, Nestmann (2002) (Correct)
0.6: Migration = Cloning ; Aliasing - Hüttel, Kleist, Merro, Nestmann (Correct)
0.5: Surrogates in Ĝjeblik: Towards Migration in Obliq - Hüttel, Kleist, Nestmann.. (1998) (Correct)
Related documents from co-citation: More All
2: Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
2: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
2: A language with distributed scope - Cardelli - 1995
BibTeX entry: (Update)
Uwe Nestmann, Hans Httel, Josva Kleist, and Massimo Merro. Aliasing models for mobile objects. Information and Computation, 175(1):333, 2002. http://citeseer.ist.psu.edu/article/nestmann02aliasing.html More
@misc{ nestmann02aliasing,
author = "U. Nestmann and H. Httel and J. Kleist and M. Merro",
title = "Aliasing models for mobile objects",
text = "Uwe Nestmann, Hans Httel, Josva Kleist, and Massimo Merro. Aliasing models
for mobile objects. Information and Computation, 175(1):333, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/article/nestmann02aliasing.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
405 Fine-grained mobility in the Emerald system - Jul, Levy et al. - 1988
291 Computational lambda calculus and monads - Moggi - 1989
264 A language with distributed scope - Cardelli
118 Lambda Calculus Models of Programming Languages (context) - Morris - 1968
92 Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
76 Control operators (context) - Felleisen, Friedman - 1986
33 ACM Transactions on Programming Languages and Systems (context) - Van Roy, Haridi et al. - 1997
31 A calculus with code mobility - Sekiguchi, Yonezawa - 1997
30 Imperative objects and mobile processes - Kleist, Sangiorgi
29 Compilation and equivalence of imperative objects - Gordon, Hankin et al.
16 Bisimulations for the join-calculus - Boreale, Fournet et al.
15 May and must testing in the join-calculus - Laneve
15 Higher-Order Concurrency (context) - Reppy - 1992
8 A concurrent object calculus: Reduction and typing - Gordon, Hankin - 1998
8 Aliasing models for object migration - Nestmann, uttel et al. - 1999
8 Available from clt@cs (context) - Talcott, notes - 1996
7 A concurrent object calculus (context) - Di Blasio, Fisher
6 exe --- binaries for windows nt (context) - Cardelli - 1994
6 Mobile objects as mobile processes - Merro, Kleist et al. - 2000
3 a project overview (context) - Nestmann
3 Available from httpwww (context) - Nielsen, Peer et al. - 1999
2 and Uwe Nestmann (context) - uttel, Kleist et al. - 1999
2 Mobile object systems: Homepage (context) - Vitek - 1999
1 International Federation for Information Processing (context) - Gries, de Roever et al. - 1998
Documents on the same site (http://www.cs.auc.dk/research/FS/ojeblik): More
Mobile Objects "must" Move Safely - Briais, Nestmann (2002) (Correct)
Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (2001) (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