{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:29:08Z","timestamp":1772836148674,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642214608","type":"print"},{"value":"9783642214615","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21461-5_14","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T13:25:36Z","timestamp":1307712336000},"page":"213-227","source":"Crossref","is-referenced-by-count":11,"title":["A Process Calculus for Dynamic Networks"],"prefix":"10.1007","author":[{"given":"Dimitrios","family":"Kouzapas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Philippou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"14_CR1","doi-asserted-by":"crossref","first-page":"375","DOI":"10.3233\/FI-2010-371","volume":"105","author":"F. Ghassemi","year":"2010","unstructured":"Ghassemi, F., Fokkink, W., Movaghar, A.: Equational reasoning on mobile ad hoc networks. Fundamenta Informaticae\u00a0105(4), 375\u2013415 (2010)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.entcs.2009.06.018","volume":"242","author":"J.C.. Godskesen","year":"2009","unstructured":"Godskesen, J.C.: A calculus for mobile ad-hoc networks with static location binding. Electronic Notes in Theoretical Computer Science\u00a0242(1), 161\u2013183 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"14_CR3","unstructured":"Kouzapas, D., Philippou, A.: A process calculus for systems with dynamic topology. Technical Report TR-10-01, University of Cyprus (2010)"},{"issue":"19","key":"14_CR4","doi-asserted-by":"publisher","first-page":"1928","DOI":"10.1016\/j.tcs.2010.01.023","volume":"158","author":"I. Lanese","year":"2010","unstructured":"Lanese, I., Sangiorgi, D.: An operational semantics for a calculus for wireless systems. Theoretical Computer Science\u00a0158(19), 1928\u20131948 (2010)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"14_CR5","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.ic.2007.11.010","volume":"207","author":"M. Merro","year":"2009","unstructured":"Merro, M.: An observational theory for mobile ad hoc networks. Information and Computation\u00a0207(2), 194\u2013208 (2009)","journal-title":"Information and Computation"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-11623-0_13","volume-title":"Fundamentals of Software Engineering","author":"M. Merro","year":"2010","unstructured":"Merro, M., Sibilio, E.: A timed calculus for wireless systems. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol.\u00a05961, pp. 228\u2013243. Springer, Heidelberg (2010)"},{"key":"14_CR7","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"14_CR8","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, parts\u00a01 and\u00a02. Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Information and Computation"},{"issue":"1-2","key":"14_CR9","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":"14_CR10","unstructured":"Nestmann, U.: On Determinacy and Non-determinacy in Concurrent Programming. PhD thesis, University of Erlangen (1996)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Philippou, A., Walker, D.: On confluence in the \u03c0-calculus. In: ICALP 1997. LNCS, vol.\u00a01256, pp. 314\u2013324 (1997)","DOI":"10.1007\/3-540-63165-8_188"},{"issue":"2-3","key":"14_CR12","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":"14_CR13","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\u00a0ad\u00a0hoc\u00a0networks. In: Wang, A.H., Tennenholtz, M. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 296\u2013314. Springer, Heidelberg (2008)"},{"key":"14_CR14","unstructured":"Tofts, C.: Proof Methods and Pragmatics for Parallel Programming. PhD thesis, University of Edinburgh (1990)"},{"key":"14_CR15","first-page":"350","volume-title":"Proceedings of ICNP 2004","author":"S. Vasudevan","year":"2004","unstructured":"Vasudevan, S., Kurose, J., Towsley, D.: Design and analysis of a leader election algorithm for mobile ad hoc networks. In: Proceedings of ICNP 2004, pp. 350\u2013360. IEEE Computer Society Press, Los Alamitos (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21461-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,20]],"date-time":"2020-06-20T01:15:35Z","timestamp":1592615735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21461-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214608","9783642214615"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21461-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}