{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:14:32Z","timestamp":1772835272393,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642134135","type":"print"},{"value":"9783642134142","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13414-2_1","type":"book-chapter","created":{"date-parts":[[2010,6,7]],"date-time":"2010-06-07T06:43:20Z","timestamp":1275893000000},"page":"1-15","source":"Crossref","is-referenced-by-count":11,"title":["Observables for Mobile and Wireless Broadcasting Systems"],"prefix":"10.1007","author":[{"given":"Jens Chr.","family":"Godskesen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","first-page":"104","volume-title":"Symposium on Principles of Programming Languages","author":"M. Abadi","year":"2001","unstructured":"Abadi, M., Fournet, C.: Mobile vales, new names, and secure communication. In: Symposium on Principles of Programming Languages, pp. 104\u2013115. ACM, New York (2001)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","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.) FOSSACS 1998. LNCS, vol.\u00a01378, p. 140. Springer, Heidelberg (1998)"},{"issue":"10","key":"1_CR3","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1016\/j.ic.2007.03.004","volume":"205","author":"R. Nicola De","year":"2007","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. Information and Computation\u00a0205(10), 1491\u20131525 (2007)","journal-title":"Information and Computation"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-77050-3_11","volume-title":"FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science","author":"S. Delaune","year":"2007","unstructured":"Delaune, S., Kremer, S., Ryan, M.: Symbolic bisimulation for the applied pi calculus. In: Arvind, V., Prasad, S. (eds.) FSTTCS 2007. LNCS, vol.\u00a04855, pp. 133\u2013145. Springer, Heidelberg (2007)"},{"key":"1_CR5","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":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-02053-7_6","volume-title":"Coordination Models and Languages","author":"J.C. Godskesen","year":"2009","unstructured":"Godskesen, J.C., Nanz, S.: Mobility models and behavioural equivalence for wireless networks. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol.\u00a05521, pp. 106\u2013122. Springer, Heidelberg (2009)"},{"key":"1_CR7","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":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/978-3-642-11623-0_13","volume-title":"FSEN 2009","author":"M. Merro","year":"2010","unstructured":"Merro, M., Sibilio, E.: A timed calculus for wireless systems. In: Sirjani, M. (ed.) FSEN 2009. LNCS, vol.\u00a05961, pp. 228\u2013243. Springer, Heidelberg (2010)"},{"key":"1_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":"1_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. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 167\u2013180. Springer, Heidelberg (1990)"},{"key":"1_CR11","volume-title":"Communicating and Mobile Systems: The \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0-Calculus. Cambridge University Press, Cambridge (May 1999)"},{"key":"1_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.) ICALP 1992. LNCS, vol.\u00a0623, pp. 685\u2013695. Springer, Heidelberg (1992)"},{"issue":"1","key":"1_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. Theoretical Computer Science\u00a0367(1), 203\u2013227 (2006)","journal-title":"Theoretical Computer Science"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Riely, J., Hennessy, M.: A typed language for distributed mobile processes (extended abstract). In: POPL 1998, pp. 378\u2013390 (1998)","DOI":"10.1145\/268946.268978"},{"key":"1_CR15","volume-title":"The \u03c0-calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"1_CR16","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)"}],"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-13414-2_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:06:21Z","timestamp":1606169181000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13414-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134135","9783642134142"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13414-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}