{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T22:21:08Z","timestamp":1772749268700,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540727934","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72794-1_8","type":"book-chapter","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T11:13:58Z","timestamp":1182770038000},"page":"132-150","source":"Crossref","is-referenced-by-count":55,"title":["A Calculus for Mobile Ad Hoc Networks"],"prefix":"10.1007","author":[{"given":"Jens Chr.","family":"Godskesen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/1044731.1044735","volume":"52","author":"M. Abadi","year":"2005","unstructured":"Abadi, M., Blanchet, B.: Analyzing Security Protocols with Secrecy Types and Logic Programs. Journal of the ACM\u00a052(1), 102\u2013146 (2005)","journal-title":"Journal of the ACM"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1145\/360204.360213","volume-title":"28th ACM Symposium on Principles of Programming Languages","author":"M. Abadi","year":"2001","unstructured":"Abadi, M., Fournet, C.: Mobile vales, new names, and secure communication. In: Nielson, H.R. (ed.) 28th ACM Symposium on Principles of Programming Languages, London, January 2001, pp. 104\u2013115. ACM Press, New York (2001)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol.\u00a01378, Springer, Berlin Germany (1998)"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2004.11.005","volume":"201","author":"G. Castagna","year":"2005","unstructured":"Castagna, G., Vitek, J., Nardelli, F.Z.: The seal calculus. Information and Computation\u00a0201(1), 1\u201351 (2005)","journal-title":"Information and Computation"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"High-Level Parallel Programming Models and Supportive Environments","author":"C. Ene","year":"2001","unstructured":"Ene, C., Muntean, T.: A broadcast-based calculus for communicating systems. In: M\u00fcller, F. (ed.) HIPS 2001. LNCS, vol.\u00a02026, Springer, Heidelberg (2001)"},{"key":"8_CR6","unstructured":"Godskesen, J.Chr.: Formal verification of the ARAN protocol using the applied \u03c0-calculus. In: WITS. Proceedings of Sixth International IFIP WG 1.7 Workshop on Issuses in the Theory of Security, Vienna, Austria, March 2006, pp. 99\u2013113 (2006)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/11590156_11","volume-title":"FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science","author":"J.C.. Godskesen","year":"2005","unstructured":"Godskesen, J.Chr., Hildebrandt, T.: Extending Howe\u2019s method to early bisimulations for typed mobile embedded resources with local names. In: Ramanujam, R., Sen, S. (eds.) FSTTCS 2005. LNCS, vol.\u00a03821, pp. 140\u2013151. Springer, Heidelberg (2005)"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/j.entcs.2007.02.039","volume":"173","author":"M. Merro","year":"2007","unstructured":"Merro, M.: An observational theory for mobile ad hoc networks. Electron. Notes Theor. Comput. Sci.\u00a0173, 275\u2013293 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/j.entcs.2006.04.017","volume":"158","author":"N. Mezzetti","year":"2006","unstructured":"Mezzetti, N., Sangiorgi, D.: Towards a calculus for wireless systems. Electr. Notes Theor. Comput. Sci.\u00a0158, 331\u2013353 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0032030","volume-title":"Automata, Languages and Programming","author":"R. Milner","year":"1990","unstructured":"Milner, R.: Functions as processes. In: Paterson, M.S. (ed.) Automata, Languages and Programming. LNCS, vol.\u00a0443, pp. 167\u2013180. Springer, Heidelberg (1990)"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I\/II. Journal of Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Journal of Information and Computation"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume-title":"Automata, Languages and Programming","author":"R. Milner","year":"1992","unstructured":"Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) Automata, Languages and Programming. LNCS, vol.\u00a0623, pp. 685\u2013695. Springer, Heidelberg (1992)"},{"issue":"1","key":"8_CR13","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. Theor. Comput. Sci.\u00a0367(1), 203\u2013227 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1226","DOI":"10.1007\/11523468_99","volume-title":"Automata, Languages and Programming","author":"R. Nicola De","year":"2005","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 1226\u20131238. Springer, Heidelberg (2005)"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/571157.571159","volume-title":"PPDP \u201902","author":"K. Ostrovsky","year":"2002","unstructured":"Ostrovsky, K., Prasad, K.V.S., Taha, W.: Towards a primitive higher order calculus of broadcasting systems. In: PPDP \u201902. Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, pp. 2\u201313. ACM Press, New York (2002)"},{"issue":"2-3","key":"8_CR16","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. Sci. Comput. Program\u00a025(2-3), 285\u2013327 (1995)","journal-title":"Sci. Comput. Program"},{"key":"8_CR17","first-page":"378","volume-title":"Conference Record of POPL\u00a0\u201998","author":"J. Riely","year":"1998","unstructured":"Riely, J., Hennessy, M.: A typed language for distributed mobile processes (extended abstract). In: Conference Record of POPL\u00a0\u201998. The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, pp. 378\u2013390. ACM Press, New York (1998)"},{"issue":"3","key":"8_CR18","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1109\/JSAC.2004.842547","volume":"23","author":"K. Sanzgiri","year":"2005","unstructured":"Sanzgiri, K., LaFlamme, D., Dahill, B., Levine, B.N., Shields, C., Belding-Royer, E.M.: Authenticated routing for ad hoc networks. IEEE Journal on Selected Areas in Communication\u00a023(3), 598\u2013610. special issue on Wireless Ad hoc Networks (2005)","journal-title":"IEEE Journal on Selected Areas in Communication"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72794-1_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:48:05Z","timestamp":1619516885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72794-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727934"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72794-1_8","relation":{},"subject":[]}}