{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T22:19:58Z","timestamp":1772749198939,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642020520","type":"print"},{"value":"9783642020537","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02053-7_6","type":"book-chapter","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T06:13:15Z","timestamp":1244614395000},"page":"106-122","source":"Crossref","is-referenced-by-count":19,"title":["Mobility Models and Behavioural Equivalence for Wireless Networks"],"prefix":"10.1007","author":[{"given":"Jens Chr.","family":"Godskesen","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Nanz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J.C.M. Baeten","year":"1991","unstructured":"Baeten, J.C.M., Bergstra, J.A.: Real time process algebra. Formal Aspects of Computing\u00a03(2), 142\u2013188 (1991)","journal-title":"Formal Aspects of Computing"},{"issue":"5","key":"6_CR2","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1002\/wcm.72","volume":"2","author":"T. Camp","year":"2002","unstructured":"Camp, T., Boleng, J., Davies, V.: A survey of mobility models for ad hoc network research. Wireless Communications and Mobile Computing\u00a02(5), 483\u2013502 (2002)","journal-title":"Wireless Communications and Mobile Computing"},{"key":"6_CR3","unstructured":"Ene, C., Muntean, T.: A broadcast-based calculus for communicating systems. In: Proc. FMPPTA 2003 (2001)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-72794-1_8","volume-title":"Coordination Models and Languages","author":"J.C. Godskesen","year":"2007","unstructured":"Godskesen, J.C.: A calculus for mobile ad hoc networks. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 132\u2013150. Springer, Heidelberg (2007)"},{"key":"6_CR5","unstructured":"Godskesen, J.C.: A calculus for mobile ad hoc networks with static location binding. In: Proc. EXPRESS 2008 (2008)"},{"issue":"1-2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.-P.: Process algebra for performance evaluation. Theoretical Computer Science\u00a0274(1-2), 43\u201387 (2002)","journal-title":"Theoretical Computer Science"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Merro, M.: An observational theory for mobile ad hoc networks. In: Proc. MFPS 2007. ENTCS, vol.\u00a0173, pp. 275\u2013293 (2007)","DOI":"10.1016\/j.entcs.2007.02.039"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Mezzetti, N., Sangiorgi, D.: Towards a calculus for wireless systems. In: Proc. MFPS 2006. ENTCS, vol.\u00a0158, pp. 331\u2013353 (2006)","DOI":"10.1016\/j.entcs.2006.04.017"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Nanz, S.: Specification and Security Analysis of Mobile Ad-Hoc Networks. Ph.D thesis, Imperial College London (2006)","DOI":"10.1016\/j.entcs.2004.10.029"},{"issue":"1-2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.tcs.2006.08.036","volume":"367","author":"S. Nanz","year":"2006","unstructured":"Nanz, S., Hankin, C.: A framework for security analysis of mobile wireless networks. Theoretical Computer Science\u00a0367(1-2), 203\u2013227 (2006)","journal-title":"Theoretical Computer Science"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-74407-8_16","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"S. Nanz","year":"2007","unstructured":"Nanz, S., Nielson, F., Nielson, H.R.: Topology-dependent abstractions of broadcast networks. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 226\u2013240. Springer, Heidelberg (2007)"},{"key":"6_CR12","unstructured":"The Network\u00a0Simulator ns-2, http:\/\/www.isi.edu\/nsnam\/ns\/"},{"issue":"2-3","key":"6_CR13","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0167-6423(95)00017-8","volume":"25","author":"K.V.S. Prasad","year":"1995","unstructured":"Prasad, K.V.S.: A calculus of broadcasting systems. Science of Computer Programming\u00a025(2-3), 285\u2013327 (1995)","journal-title":"Science of Computer Programming"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"Reed, G.M., Roscoe, A.W.: A timed model for communicating sequential processes. Theoretical Computer Science\u00a058, 249\u2013261 (1988)","journal-title":"Theoretical Computer Science"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-68265-3_19","volume-title":"Coordination Models and Languages","author":"A. Singh","year":"2008","unstructured":"Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A process calculus for mobile ad hoc networks. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 296\u2013314. Springer, Heidelberg (2008)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","first-page":"502","volume-title":"CONCUR \u201990","author":"W. Yi","year":"1990","unstructured":"Yi, W.: Real-time behaviour of asynchronous agents. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 502\u2013520. Springer, Heidelberg (1990)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02053-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T16:38:45Z","timestamp":1685032725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02053-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642020520","9783642020537"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02053-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}