Luca Cardelli, Andrew D. Gordon  @ NUS Home/Search
Context Related
| microsoft.com/User...bileAmbients.US.ps microsoft.com/User...bileAmbients.A4.ps microsoft.com/~adg...bileAmbients_A4.ps Cached: PS.gz PS PDF Image Update Help From: luca.demon.co.uk/Bibliography (more) From: microsoft.com/~adg/Publ...details (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce a calculus describing the movement of processes and devices, including movement through administrative domains. Keywords: Agents, process calculi, mobility, wide-area computation. 1 Introduction There are two distinct areas of work in mobility: mobile computing, concerning computation that is carried out in mobile devices (laptops, personal digital assistants, etc.), and mobile computation, concerning mobile code that moves between devices (applets, agents, etc.). We aim to... (Update)
Cited by: More
Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
Under consideration for publication in Math. Struct. in.. - Axioms For Bigraphical (Correct)
Secrecy by Typing in Security Protocols - Abadi (1998) (Correct)
Similar documents (at the sentence level):
47.2%: Mobile Ambients - Cardelli, Gordon (1998) (Correct)
5.8%: Abstractions for Mobile Computation - Cardelli (1998) (Correct)
Active bibliography (related documents): More All
0.1: A theory of bisimulation for a fragment of concurrent ML with .. - Jeffrey, Rathke (2000) (Correct)
0.1: A Typed Language for Distributed Mobile Processes (Extended.. - Riely, Hennessy (1998) (Correct)
0.1: A theory of bisimulation for a fragment of concurrent ML - With Local Names (Correct)
Similar documents based on text: More All
0.3: Mobile Ambients (Extended Abstract) - Cardelli, Gordon (Correct)
0.3: An Asynchronous, Distributed Implementation of Mobile.. - Fournet, Lévy.. (2000) (Correct)
0.2: Secure Safe Ambients and JVM Security (Abstract) - Bugliesi, Castagna (2000) (Correct)
Related documents from co-citation: More All
37: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
36: Information and Computation (context) - Milner, Parrow et al. - 1992
27: An asynchronous model of locality (context) - Amadio - 1997
BibTeX entry: (Update)
L. Cardelli and A. D. Gordon. Mobile ambients. In Maurice Nivat, editor, Proc. FOSSACS'98, International Conference on Foundations of Software Science and Computation Structures, volume 1378 of Lecture Notes in Computer Science, pages 140--155. Springer-Verlag, 1998. http://citeseer.comp.nus.edu.sg/128729.html More
@misc{ cardelli98mobile,
author = "L. Cardelli and A. Gordon",
title = "Mobile ambients",
text = "L. Cardelli and A. D. Gordon. Mobile ambients. In Maurice Nivat, editor,
Proc. FOSSACS'98, International Conference on Foundations of Software Science
and Computation Structures, volume 1378 of Lecture Notes in Computer Science,
pages 140--155. Springer-Verlag, 1998.",
year = "1998",
url = "citeseer.comp.nus.edu.sg/128729.html" }
Citations (may not include all citations):862 The Java language specification - Gosling, Joy et al. - 1996
854 Information and Computation (context) - Milner, Parrow et al. - 1992
404 A calculus for cryptographic protocols: the spi calculus - Abadi, Gordon - 1997
309 Communications of the ACM (context) - Carriero, Gelernter - 1989
294 An object calculus for asynchronous communication - Tokoro - 1991
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
264 A language with distributed scope - Cardelli - 1995
254 Theoretical Computer Science (context) - Berry, Boudol - 1992
204 Lecture Notes in Computer Science (context) - Milner, of - 1980
134 Mobile agents (context) - White - 1996
116 A typed language for distributed mobile processes - Riely - 1998
97 Mathematical Structures in Computer Science (context) - Milner - 1992
46 Bauhaus Linda (context) - Carriero, Gelernter et al. - 1995
39 local subtyping and capability inference for a distributed p.. (context) - Sewell - 1998
26 Lecture Notes in Computer Science (context) - Amadio - 1997
13 Locality based Linda: programming with explicit localities (context) - De Nicola, Ferrari et al. - 1997
12 th Annual ACM Symposium on Principles of Programming Languag.. (context) - Cardelli - 1999
7 Asynchrony and the p-calculus (context) - Boudol - 1992
3 rd Annual ACM Symposium on Principles of Programming Languag.. (context) - Fournet, Gonthier - 1996
1 Microsoft Research Technical Report MSR-TR (context) - Gordon - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.luca.demon.co.uk/Bibliography.html): More
On Binary Methods - Bruce, Cardelli, Castagna, Eifrig.. (1995) (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (Correct)
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.