Roberto M. Amadio, Sanjiva Prasad  Home/Search
Context Related
| para.inria.fr/~lefes...00042AP97.ps.gz protis.univmrs.fr...madioprasad.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: para.inria.fr/~lefessan/b...publi (more) From: di.fc.ul.pt/~vv/mobilebib (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study a highly simplified version of proposals for mobility support in version 6 of Internet Protocols (IP). We concentrate on the issue of ensuring that messages to and from mobile agents are delivered without loss of connectivity. We provide three models of increasingly complex nature of a network of routers and computing agents that are interconnected via the routers: the first is without mobile agents and is treated as a specification for the next two; the second supports mobile agents, ... (Update)
Context of citations to this paper: More
...can be subdivided into work taking an automata theoretic approach and work on encodings of high level primitives. The former includes [AP98, JNW98] addressing Mobile IP, and [Mor99] which studies an infrastructure providing a similar abstraction to that of this paper. All...
Cited by: More
Unknown - (Correct)
The Local Area π-Calculus - Chothia (2003) (Correct)
Compositional Analysis of Mobile Network Protocols - Wu, Zhang (2005) (Correct)
Similar documents (at the sentence level):
19.2%: Modelling IP Mobility - Amadio, Prasad (1997) (Correct)
Active bibliography (related documents): More All
0.2: Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
0.2: Formalizing a Specification for Analysis: The HLA.. - Damon, Melton.. (1999) (Correct)
0.2: Composite Model Checking: Verification with Type-Specific .. - Bultan, Gerber, League (2000) (Correct)
Similar documents based on text: More All
0.4: The Game of the Name in Cryptographic Tables - Amadio, Prasad (1999) (Correct)
0.3: Localities and Failures - Amadio, PRASAD (1995) (Correct)
0.3: Automated Proof Support for Reasoning about Distributed.. - Karthikeyan, Vishwanath (1997) (Correct)
Related documents from co-citation: More All
6: Information and Computation (context) - Milner, Parrow et al. - 1992
6: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
6: Mobile ambients - Cardelli, Gordon - 1998
BibTeX entry: (Update)
R. Amadio and S. Prasad. Modelling IP mobility. In Proc. CONCUR98, Springer Lect. Notes in Comp. Sci. 1466, pages 301--316, 1998. Expanded version available at http://protis.univ-mrs.fr/¸amadio. http://citeseer.ist.psu.edu/article/amadio98modelling.html More
@inproceedings{ amadio98modelling,
author = "Roberto M. Amadio and Sanjiva Prasad",
title = "Modelling {IP} Mobility",
booktitle = "International Conference on Concurrency Theory",
pages = "301-316",
year = "1998",
url = "citeseer.ist.psu.edu/article/amadio98modelling.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
502 Concurrency and automata on infinite sequences (context) - Park - 1981
470 Design and validation of computer protocols (context) - Holzmann - 1991
405 Fine-grained mobility in the emerald system - Jul, Levy et al. - 1988
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
248 Orca: a language for parallel programming of distributed sys.. - Bal, Kaashoek et al. - 1992
225 The sprite network operating system - Ousterhout, Cherenson et al. - 1988
207 IP-based protocols for mobile internetworking - Ioannidis, Duchamp et al. - 1991
107 A foundation for actor computation - Agha, Mason et al. - 1997
98 The Locus Distributed System Architecture (context) - Popek, Walker - 1985
85 Mobility support in IPv - Johnson, Perkins - 1996
75 Process migration in demos/mp (context) - Powell, Miller - 1983
23 Design of a distributed object manager for Smalltalk-80 syst.. (context) - Decouchant - 1986
23 Vip: a protocol providing host mobility - Teraoka, Uehara et al. - 1994
20 Expressing code mobility in mobile UNITY - Picco, Roman et al. - 1997
12 Mobile Unity coordination constructs applied to packet forwa.. - McCann, Roman - 1997
11 Indirect distributed garbage collection: handling object mig.. (context) - Piquer - 1996
4 A nitpick analysis of mobile IPv - Jackson, Ng et al. - 1997
2 Linear and branching systems in the semantics and logics of .. (context) - Pnueli - 1985
1 Mobile UNITY: reasoning and specificaton in mobile computing (context) - Roman, McCann et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://para.inria.fr/~lefessan/biblio/publi.html): More
An Implementation of Complete, Asynchronous.. - Le Fessant, Piumarta, .. (1998) (Correct)
Cyclic Distributed Garbage Collection with Group Merger - Rodrigues, Jones (1997) (Correct)
Secrecy by Typing in Security Protocols - Abadi (1997) (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