Compositional network mobility

Pamela Zave, Jennifer L. Rexford

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations


Mobility is a network capability with many forms and many uses. Because it is difficult to implement at Internet scale, there is a large and confusing landscape of mobility proposals which cannot easily be compared or composed. This paper presents formal models of two distinct patterns for implementing mobility, explaining their generality and applicability. We also employ formal verification to show that different instances of the patterns, used for different purposes in a network architecture, compose without alteration or interference. This result applies to all real implementations that are refinements of the patterns.

Original languageEnglish (US)
Title of host publicationVerified Software
Subtitle of host publicationTheories, Tools, Experiments - 5th International Conference, VSTTE 2013, Revised Selected Papers
EditorsErnie Cohen, Andrey Rybalchenko, Andrey Rybalchenko
PublisherSpringer Verlag
Number of pages20
ISBN (Electronic)9783642541070
StatePublished - 2014
Event5th International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2013 - Menlo Park, United States
Duration: May 17 2013May 19 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other5th International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2013
Country/TerritoryUnited States
CityMenlo Park

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Compositional network mobility'. Together they form a unique fingerprint.

Cite this