{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T20:35:15Z","timestamp":1768250115989,"version":"3.49.0"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319149769","type":"print"},{"value":"9783319149776","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14977-6_12","type":"book-chapter","created":{"date-parts":[[2015,1,28]],"date-time":"2015-01-28T09:23:24Z","timestamp":1422437004000},"page":"181-186","source":"Crossref","is-referenced-by-count":1,"title":["A Routing Calculus with Flooding Updates"],"prefix":"10.1007","author":[{"given":"Manish","family":"Gaur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon J.","family":"Gay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Mackie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-540-40965-6_14","volume-title":"Advances in Computing Science \u2013 ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation","author":"F. Barbanera","year":"2003","unstructured":"Barbanera, F., Bugliesi, M., Dezani-Ciancaglini, M., Sassone, V.: A calculus of bounded capacities. In: Saraswat, V.A. (ed.) ASIAN 2003. LNCS, vol.\u00a02896, pp. 205\u2013223. Springer, Heidelberg (2003)"},{"issue":"1","key":"12_CR2","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. Theor. Comput. Sci.\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR3","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 2nd edn. MIT Press (2003)"},{"issue":"3","key":"12_CR4","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.entcs.2009.06.042","volume":"229","author":"M. Gaur","year":"2009","unstructured":"Gaur, M., Hennessy, M.: Counting the cost in the picalculus (extended abstract). Electronic Notes in Theoretical Computer Science (ENTCS)\u00a0229(3), 117\u2013129 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science (ENTCS)"},{"issue":"2-3","key":"12_CR5","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"S.J. Gay","year":"2005","unstructured":"Gay, S.J., Hole, M.: Subtyping for session types in the pi-calculus. Acta Inf.\u00a042(2-3), 191\u2013225 (2005)","journal-title":"Acta Inf."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Griffin, T.G., Sobrinho, J.L.: Metarouting. In: SIGCOMM, pp. 1\u201312 (2005)","DOI":"10.1145\/1090191.1080094"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Hennessy, M.: A distributed Pi-Calculus. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511611063"},{"issue":"5","key":"12_CR8","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1017\/S0960129504004281","volume":"14","author":"M. Hennessy","year":"2004","unstructured":"Hennessy, M., Rathke, J.: Typed behavioural equivalences for processes in the presence of subtyping. Mathematical Structures in Computer Science\u00a014(5), 651\u2013684 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"12_CR9","unstructured":"Milner, R.: Communicating and mobile systems: The \u03c0-Calculus. Cambridge University Press (1999)"},{"issue":"10","key":"12_CR10","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1016\/j.ic.2007.03.004","volume":"205","author":"R.D. Nicola","year":"2007","unstructured":"Nicola, R.D., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. Inf. Comput.\u00a0205(10), 1491\u20131525 (2007)","journal-title":"Inf. Comput."},{"issue":"6","key":"12_CR11","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/BF01211473","volume":"4","author":"F. Orava","year":"1992","unstructured":"Orava, F., Parrow, J.: An algebraic verification of a mobile network. Formal Asp. Comput.\u00a04(6), 497\u2013543 (1992)","journal-title":"Formal Asp. Comput."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Sewell, P., Wojciechowski, P.T., Pierce, B.C.: Location-independent communication for mobile agents: A two-level architecture. In: Bal, H.E., Cardelli, L., Belkhouche, B. (eds.) ICCL 1998 Workshop. LNCS, vol.\u00a01686, pp. 1\u201331. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-47959-7_1"},{"key":"12_CR13","volume-title":"Computer Networks","author":"A.S. Tanenbaum","year":"2003","unstructured":"Tanenbaum, A.S.: Computer Networks. Pearson Education, Inc., Upper Saddle River (2003)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14977-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T05:25:38Z","timestamp":1559107538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14977-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319149769","9783319149776"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14977-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}