{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:16:58Z","timestamp":1755217018736,"version":"3.43.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,8,1]],"date-time":"2000-08-01T00:00:00Z","timestamp":965088000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,8,1]],"date-time":"2000-08-01T00:00:00Z","timestamp":965088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[2000,8]]},"DOI":"10.1023\/a:1008734618526","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T11:37:32Z","timestamp":1040557052000},"page":"61-99","source":"Crossref","is-referenced-by-count":3,"title":["Modelling IP Mobility"],"prefix":"10.1007","volume":"17","author":[{"given":"Roberto M.","family":"Amadio","sequence":"first","affiliation":[]},{"given":"Sanjiva","family":"Prasad","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"267093_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G. Agha","year":"1997","unstructured":"G. Agha, I. Mason, S. Smith, and C. Talcott, \u201cA foundation for actor computation,\u201d Journal of Functional Programming, Vol. 7, No. 1, pp. 1\u201372, 1997.","journal-title":"Journal of Functional Programming"},{"doi-asserted-by":"crossref","unstructured":"R. Amadio and S. Prasad, \u201cModelling IP mobility,\u201d in Proc. CONCUR98. Springer Lect. Notes in Comp. Sci., Vol. 1466, pp. 301\u2013316, 1998.","key":"267093_CR2","DOI":"10.1007\/BFb0055630"},{"issue":"3","key":"267093_CR3","first-page":"261","volume":"21","author":"H. Bal","year":"1992","unstructured":"H. Bal, F. Kaashoek, and A. Tanenbaum, \u201cOrca: A language for parallel programming of distributed systems,\u201d IEEE Trans. on Soft. Eng., Vol. 21, No. 3, pp. 261\u2013322, 1992.","journal-title":"IEEE Trans. on Soft. Eng."},{"doi-asserted-by":"crossref","unstructured":"D. Decouchant, \u201cDesign of a distributed object manager for Smalltalk-80 system,\u201d in Proc. Object-Oriented Programming Systems, Languages and Applications.OOPSLA'86, ACM Press, 1986, pp. 444\u2013452.","key":"267093_CR4","DOI":"10.1145\/28697.28743"},{"unstructured":"G. Holzmann, Design and Validation of Computer Protocols, Prentice-Hall, 1991.","key":"267093_CR5"},{"doi-asserted-by":"crossref","unstructured":"K. Honda and M. Tokoro, \u201cAn object calculus for asynchronous communication,\u201d in Proc.ECOOP91, Geneve. Springer Lect. Notes in Comp. Sci., Vol. 612, 1991, pp. 133\u2013147.","key":"267093_CR6","DOI":"10.1007\/BFb0057019"},{"doi-asserted-by":"crossref","unstructured":"J. Ioannidis, D. Duchamp, and G. Maguire, \u201cIP-based protocols for mobile internetworking,\u201d in Proc. ACM SIGCOMM, 1991, pp. 235\u2013245.","key":"267093_CR7","DOI":"10.1145\/115992.116014"},{"doi-asserted-by":"crossref","unstructured":"D. Jackson, Y. Ng, and J. Wing, \u201cA nitpick analysis of mobile IPv6,\u201d Technical Report, Carnegie-Mellon University, 1997.","key":"267093_CR8","DOI":"10.21236\/ADA341559"},{"unstructured":"D. Johnson and C. Perkins, \u201cMobility support in IPv6 (RFC 2002),\u201dVersion expiring May 1997, 1996. See also the updated Internet Draft with this title available at http:\/\/www.ietf.org\/internet-drafts\/draftietf-mobileip-ipv6-08.txt.","key":"267093_CR9"},{"key":"267093_CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/35037.42182","volume":"6","author":"E. Jul","year":"1988","unstructured":"E. Jul, H. Levy, N. Hutchinson, and A. Black, \u201cFine-grained mobility in the emerald system,\u201d ACM Trans. on Comp. Sys., Vol. 6, pp. 109\u2013133, 1988.","journal-title":"ACM Trans. on Comp. Sys."},{"doi-asserted-by":"crossref","unstructured":"P. McCann and G.-C. Roman, \u201cMobile Unity coordination constructs applied to packet forwarding,\u201d in Proc. Coordination 97. Springer Lect. Notes in Comp. Sci., Vol. 1282, 1997.","key":"267093_CR11","DOI":"10.1007\/3-540-63383-9_90"},{"key":"267093_CR12","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1109\/TCOM.1980.1094666","volume":"3","author":"P. Merlin","year":"1980","unstructured":"P. Merlin and P. Schweitzer, \u201cDeadlock avoidance in store-and-forward networks i: store-and-forward deadlock,\u201d IEEE Trans. Communication, Vol. 3, pp. 345\u2013354, 1980.","journal-title":"IEEE Trans. Communication"},{"key":"267093_CR13","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1109\/TCOM.1980.1094667","volume":"3","author":"P. Merlin","year":"1980","unstructured":"P. Merlin and P. Schweitzer, \u201cDeadlock avoidance in store-and-forward networks ii: Other deadlock types,\u201d IEEE Trans. Communication, Vol. 3, pp. 355\u2013360, 1980.","journal-title":"IEEE Trans. Communication"},{"issue":"1","key":"267093_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker, \u201cAcalculus of mobile processes,\u201d Information and Computation, Vol. 100, No. 1, pp. 1\u201377, 1992.","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"J. Ousterhout, A. Cherenson, F. Douglis, M. Nelson, and B. Welch, \u201cThe sprite network operating system,\u201d IEEE Computer, February 1988, pp. 23\u201336.","key":"267093_CR15","DOI":"10.1109\/2.16"},{"doi-asserted-by":"crossref","unstructured":"D. Park, \u201cConcurrency and automata on infinite sequences,\u201d in Proc. Theor. Comp. Sci., Springer Lect. Notes in Comp. Sci., Vol. 104, pp. 167\u2013183, 1981.","key":"267093_CR16","DOI":"10.1007\/BFb0017309"},{"doi-asserted-by":"crossref","unstructured":"G.-P. Picco, G. Roman, and P. McCann, \u201cExpressing code mobility in mobile UNITY,\u201d in Proc. 6th European Soft. Eng. Conf. and 5th ACM SIGSOFT Symp. on Foundations of Soft. Eng., Springer Lect. Notes in Comp. Sci., Vol. 1301, pp. 500\u2013518, 1997.","key":"267093_CR17","DOI":"10.1145\/267896.267929"},{"issue":"5","key":"267093_CR18","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1145\/232706.232711","volume":"18","author":"J. Piquer","year":"1996","unstructured":"J. Piquer, \u201cIndirect distributed garbage collection: Handling object migration,\u201d Transactions on Programming Languages and Systems, Vol. 18, No. 5, pp. 615\u2013647, 1996.","journal-title":"Transactions on Programming Languages and Systems"},{"key":"267093_CR19","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/BFb0015727","volume":"194","author":"A. Pnueli","year":"1985","unstructured":"A. Pnueli, \u201cLinear and branching systems in the semantics and logics of reactive systems,\u201d in Springer Lect. Notes in Comp. Sci., Vol. 194, pp. 15\u201332, 1985.","journal-title":"Springer Lect. Notes in Comp. Sci."},{"doi-asserted-by":"crossref","unstructured":"G. Popek and D. Walker (Eds.), The Locus Distributed System Architecture, MIT Press, 1985.","key":"267093_CR20","DOI":"10.7551\/mitpress\/4279.001.0001"},{"doi-asserted-by":"crossref","unstructured":"M.L. Powell and B.P. Miller, \u201cProcess migration in demos\/mp,\u201d in Proc. of the 9th ACM Symp. on Op. Sys. Principles, 1983, pp. 110\u2013119.","key":"267093_CR21","DOI":"10.1145\/800217.806619"},{"issue":"3","key":"267093_CR22","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1145\/258077.258079","volume":"6","author":"G. Roman","year":"1997","unstructured":"G. Roman, P. McCann, and J. Plun, \u201cMobile UNITY: Reasoning and specificaton in mobile computing,\u201d ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 3, pp. 250\u2013282, July 1997.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"8","key":"267093_CR23","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/179606.179657","volume":"37","author":"F. Teraoka","year":"1994","unstructured":"F. Teraoka, K. Uehara, H. Sunahara, and J. Murai, \u201cVip: A protocol providing host mobility,\u201d Comm. ACM, Vol. 37, No. 8, pp. 67\u201375, 1994.","journal-title":"Comm. ACM"},{"issue":"5","key":"267093_CR24","doi-asserted-by":"crossref","first-page":"804","DOI":"10.1145\/265943.265972","volume":"19","author":"P. Van Roy","year":"1997","unstructured":"P. Van Roy, S. Haridi, P. Brand, G. Smolka, M. Mehl, and R. Scheidhauer, \u201cMobile objects in distributed Oz,\u201d Transactions on Programming Languages and Systems, Vol. 19, No. 5, pp. 804\u2013851, 1997.","journal-title":"Transactions on Programming Languages and Systems"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008734618526.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008734618526\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008734618526.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:18:59Z","timestamp":1754367539000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008734618526"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,8]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,8]]}},"alternative-id":["267093"],"URL":"https:\/\/doi.org\/10.1023\/a:1008734618526","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2000,8]]}}}