To refer to this page use:
|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.|
|Citation:||Zave, Pamela, and Jennifer Rexford. "Compositional Network Mobility." In Working Conference on Verified Software: Theories, Tools, and Experiments (2014): pp. 68-87. doi:10.1007/978-3-642-54108-7_4|
|Pages:||68 - 87|
|Type of Material:||Conference Article|
|Journal/Proceeding Title:||Working Conference on Verified Software: Theories, Tools, and Experiments|
Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.