{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:41:02Z","timestamp":1754487662283},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648963"},{"type":"electronic","value":"9783540684558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055630","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T03:31:00Z","timestamp":1153971060000},"page":"301-316","source":"Crossref","is-referenced-by-count":11,"title":["Modelling IP mobility"],"prefix":"10.1007","author":[{"given":"Roberto M.","family":"Amadio","sequence":"first","affiliation":[]},{"given":"Sanjiva","family":"Prasad","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"19_CR1","unstructured":"R. Amadio and S. Prasad. Modelling IP mobility. Technical Report RR 3301 INRIA, Universit\u00e9 de Provence (LIM), 1997. Revised version available at URL http:\/\/protis.univ-mrs.fr\/~amadio."},{"key":"19_CR2","unstructured":"G. Holzmann. Design and validation of computer protocols. Prentice-Hall, 1991."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"J. Ioannidis, D. Duchamp, and G. Maguire. IP-based protocols for mobile internet-working. In Proc. ACM SIGCOMM, 1991.","DOI":"10.1145\/115992.116014"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"D. Jackson, Y. Ng, and J. Wing. A nitpick analysis of mobile IPv6. Technical report, Carnegie-Mellon University, 1997.","DOI":"10.21236\/ADA341559"},{"key":"19_CR5","unstructured":"D. Johnson and C. Perkins. Mobility support in IPv6 (RFC). Version expiring May 97, 1996."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-63383-9_90"},{"key":"19_CR7","unstructured":"A. Pnueli. Linear and branching systems in the semantics and logics of reactive systems. In Springer Lect. Notes in Comp. Sci. 194, 1985."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"F. Teraoka, K. Uehara, H. Sunahara, and J. Murai. Vip: a protocol providing host mobility. Comm. ACM, 37(8), 1994.","DOI":"10.1145\/179606.179657"}],"container-title":["Lecture Notes in Computer Science","CONCUR'98 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055630","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T04:29:25Z","timestamp":1555734565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055630"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648963","9783540684558"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0055630","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}