Skip to main content
SpringerLink
Log in

Modelling IP mobility

  • Conference paper
  • First Online:
CONCUR'98 Concurrency Theory (CONCUR 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1466))

Included in the following conference series:

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. Following a detailed analysis of the three models to extract invariant properties, we show that the three models are related by a suitable notion of equivalence based on barbed bisimulation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Google Scholar 

  2. G. Holzmann. Design and validation of computer protocols. Prentice-Hall, 1991.

    Google Scholar 

  3. J. Ioannidis, D. Duchamp, and G. Maguire. IP-based protocols for mobile internet-working. In Proc. ACM SIGCOMM, 1991.

    Google Scholar 

  4. D. Jackson, Y. Ng, and J. Wing. A nitpick analysis of mobile IPv6. Technical report, Carnegie-Mellon University, 1997.

    Google Scholar 

  5. D. Johnson and C. Perkins. Mobility support in IPv6 (RFC). Version expiring May 97, 1996.

    Google Scholar 

  6. P. McCann and G.-C Roman. Mobile Unity coordination constructs applied to packet forwarding. In Proc. Coordination 97, Springer Lect. Notes in Comp. Sci. 1282, 1997.

    Google Scholar 

  7. A. Pnueli. Linear and branching systems in the semantics and logics of reactive systems. In Springer Lect. Notes in Comp. Sci. 194, 1985.

    Google Scholar 

  8. F. Teraoka, K. Uehara, H. Sunahara, and J. Murai. Vip: a protocol providing host mobility. Comm. ACM, 37(8), 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université de Provence, Marseille

    Roberto M. Amadio

  2. Indian Institute of Technology, Delhi

    Sanjiva Prasad

Authors
  1. Roberto M. Amadio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sanjiva Prasad
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Davide Sangiorgi Robert de Simone

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Amadio, R.M., Prasad, S. (1998). Modelling IP mobility. In: Sangiorgi, D., de Simone, R. (eds) CONCUR'98 Concurrency Theory. CONCUR 1998. Lecture Notes in Computer Science, vol 1466. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055630

Download citation

  • DOI: https://doi.org/10.1007/BFb0055630

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64896-3

  • Online ISBN: 978-3-540-68455-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation