@inproceedings{1cc5bbfe6a4a4b9bbf6866a399337094,
title = "Compositional network mobility",
abstract = "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.",
author = "Pamela Zave and Rexford, {Jennifer L.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2014.; 5th International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2013 ; Conference date: 17-05-2013 Through 19-05-2013",
year = "2014",
doi = "10.1007/978-3-642-54108-7_4",
language = "English (US)",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "68--87",
editor = "Ernie Cohen and Andrey Rybalchenko and Andrey Rybalchenko",
booktitle = "Verified Software",
address = "Germany",
}