Modelling IP mobility

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1466, Issue , 1998, Pages 301-316

  Amadio, Roberto M ^a   Prasad, Sanjiva ^b  

^a AIX MARSEILLE UNIVERSITY   (France)

^b INDIAN INSTITUTE OF TECHNOLOGY DELHI   (India)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; MOBILE AGENTS; ROUTERS;

BARBED BISIMULATION; COMPLEX NATURE; COMPUTING AGENTS; INVARIANT PROPERTIES; IP MOBILITY; MOBILITY SUPPORTS; THREE MODELS;

INTERNET PROTOCOLS;

EID: 84945910701     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055630     Document Type: Conference Paper

References (8)

1. R. Amadio and S. Prasad. Modelling IP mobility. Technical Report RR 3301 INRIA, Université de Provence (LIM), 1997. Revised version available at URL http://protis.univ-mrs.fr/~amadio.
2. G. Holzmann. Design and validation of computer protocols. Prentice-Hall, 1991.
3. J. Ioannidis, D. Duchamp, and G. Maguire. IP-based protocols for mobile internetworking. In Proc. ACM SIGCOMM, 1991.
4. D. Jackson, Y. Ng, and J. Wing. A nitpick analysis of mobile IPv6. Technical report, Carnegie-Mellon University, 1997.
5. D. Johnson and C. Perkins. Mobility support in IPv6 (RFC). Version expiring May 97, 1996.
6. P. McCann and G.-C. Roman. Mobile Unity coordination constructs applied to packet forwarding. In Proc. Coordination 97, Springer Lect. Notes in Comp. Sei. 1282, 1997.
7. A. Pnueli. Linear and branching systems in the semantics and logics of reactive systems. In Springer Lect. Notes in Comp. Sei. 194, 1985.
8. F. Teraoka, K. Uehara, H. Sunahara, and J. Murai. Vip: a protocol providing host mobility. Comm. ACM, 37(8), 1994.