{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T02:44:49Z","timestamp":1778121889951,"version":"3.51.4"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,3,4]],"date-time":"2016-03-04T00:00:00Z","timestamp":1457049600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Distrib. Comput."],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s00446-015-0262-7","type":"journal-article","created":{"date-parts":[[2016,3,3]],"date-time":"2016-03-03T23:12:21Z","timestamp":1457046741000},"page":"279-315","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":40,"title":["Modelling and verifying the AODV routing protocol"],"prefix":"10.1007","volume":"29","author":[{"given":"Rob","family":"van Glabbeek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"H\u00f6fner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Portmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wee Lum","family":"Tan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,4]]},"reference":[{"issue":"1","key":"262_CR1","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"Bergstra J.A., Klop J.W.: Algebra of communicating processes with abstraction. Theor. Comput. Sci. 37(1), 77\u2013121 (1985)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"262_CR2","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/32.988495","volume":"28","author":"K. Bhargavan","year":"2002","unstructured":"Bhargavan K., Gunter C.A., Kim M., Lee I., Obradovic D., Sokolsky O., Viswanathan M.: Verisim: formal analysis of network simulations. IEEE Trans. Softw. Eng. 28(2), 129\u2013145 (2002). doi: 10.1109\/32.988495","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"262_CR3","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1145\/581771.581775","volume":"49","author":"K. Bhargavan","year":"2002","unstructured":"Bhargavan K., Obradovic D., Gunter C.A.: Formal verification of standards for distance vector routing protocols. JACM 49(4), 538\u2013576 (2002). doi: 10.1145\/581771.581775","journal-title":"JACM"},{"key":"262_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi T., Brinksma E.: Introduction to the ISO specification language LOTOS. Comput. Netw. 14, 25\u201359 (1987). doi: 10.1016\/0169-7552(87)90085-7","journal-title":"Comput. Netw."},{"key":"262_CR5","doi-asserted-by":"publisher","unstructured":"Borgstr\u00f6m, J., Huang, S., Johansson, M., Raabjerg, P., Victor, B., Pohjola, J.\u00c5., Parrow, J.: Broadcast psi-calculi with an application to wireless protocols. In: Barthe, G., Pardo, A., Schneider, G. (eds.) Software Engineering and Formal Methods (SEFM\u201911), Lecture Notes in Computer Science, vol. 7041, pp. 74\u201389. Springer (2011). doi: 10.1007\/978-3-642-24690-6_7","DOI":"10.1007\/978-3-642-24690-6_7"},{"key":"262_CR6","doi-asserted-by":"publisher","unstructured":"Bourke, T., van Glabbeek, R.J., H\u00f6fner, P.: A mechanized proof of loop freedom of the (untimed) AODV routing protocol. In: Cassez, F., Raskin, J.F. (eds.) Automated Technology for Verification and Analysis (ATVA\u201914), Lecture Notes in Computer Science, vol. 8837, pp. 47\u201363. Springer (2014). doi: 10.1007\/978-3-319-11936-6_5","DOI":"10.1007\/978-3-319-11936-6_5"},{"key":"262_CR7","doi-asserted-by":"publisher","unstructured":"Bourke, T., van Glabbeek, R.J., H\u00f6fner, P.: Showing invariance compositionally for a process algebra for network protocols. In: Klein, G., Gamboa, R. (eds.) Interactive Theorem Proving (ITP\u201914), Lecture Notes in Computer Science, vol. 8558, pp. 144\u2013159. Springer (2014). doi: 10.1007\/978-3-319-08970-6_10","DOI":"10.1007\/978-3-319-08970-6_10"},{"key":"262_CR8","doi-asserted-by":"publisher","unstructured":"Bres, E., van Glabbeek, R.J., H\u00f6fner, P.: A Timed Process Algebra for Wireless Networks with an Application in Routing. Technical Report 9145, NICTA (2016). http:\/\/nicta.com.au\/pub?id=9145 [Extended Abstract in: Thiemann, P. (ed.) European Symposium on Programming (ESOP \u201916). Lecture Notes in Computer Science, vol. 9632. Springer (2016). doi: 10.1007\/978-3-662-49498-1_5 ]","DOI":"10.1007\/978-3-662-49498-1_5"},{"key":"262_CR9","doi-asserted-by":"publisher","unstructured":"Chiyangwa, S., Kwiatkowska, M.: A timing analysis of AODV. In: Formal Methods for Open Object-based Distributed Systems (FMOODS\u201905), Lecture Notes in Computer Science, vol. 3535, pp. 306\u2013322. Springer (2005). doi: 10.1007\/11494881_20","DOI":"10.1007\/11494881_20"},{"key":"262_CR10","unstructured":"Clausen, T., Jacquet, P.: Optimized link state routing protocol (OLSR). RFC 3626 (Experimental), Network Working Group (2003). http:\/\/www.ietf.org\/rfc\/rfc3626.txt"},{"issue":"3","key":"262_CR11","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1023\/A:1019108612308","volume":"5","author":"S.R. Das","year":"2000","unstructured":"Das S.R., Casta\u00f1eda R., Yan J.: Simulation-based performance evaluation of routing protocols for mobile ad hoc networks. Mob. Netw. Appl. 5(3), 179\u2013189 (2000). doi: 10.1023\/A:1019108612308","journal-title":"Mob. Netw. Appl."},{"key":"262_CR12","doi-asserted-by":"publisher","unstructured":"Edenhofer, S., H\u00f6fner, P.: Towards a rigorous analysis of AODVv2 (DYMO). In: Rigorous Protocol Engineering (WRiPE \u201912). IEEE (2012). doi: 10.1109\/ICNP.2012.6459942","DOI":"10.1109\/ICNP.2012.6459942"},{"key":"262_CR13","doi-asserted-by":"publisher","unstructured":"Ene, C., Muntean, T.: A broadcast-based calculus for communicating systems. In: Parallel and Distributed Processing Symposium (IPDPS \u201901), pp. 1516\u20131525. IEEE Computer Society (2001). doi: 10.1109\/IPDPS.2001.925136","DOI":"10.1109\/IPDPS.2001.925136"},{"key":"262_CR14","doi-asserted-by":"publisher","unstructured":"Fehnker, A., van Glabbeek, R.J., H\u00f6fner, P., McIver, A.K., Portmann, M., Tan, W.L.: Automated analysis of AODV using UPPAAL. In: Flanagan, C., K\u00f6nig, B. (eds.) Tools and Algorithms for the Construction and Analysis of Systems (TACAS \u201912), Lecture Notes in Computer Science, vol. 7214, pp. 173\u2013187. Springer (2012). doi: 10.1007\/978-3-642-28756-5_13","DOI":"10.1007\/978-3-642-28756-5_13"},{"key":"262_CR15","doi-asserted-by":"publisher","unstructured":"Fehnker, A., van Glabbeek, R.J., H\u00f6fner, P., McIver, A.K., Portmann, M., Tan, W.L.: A process algebra for wireless mesh networks. In: Seidl, H. (ed.) European Symposium on Programming (ESOP \u201912)x, Lecture Notes in Computer Science, vol. 7211, pp. 295\u2013315. Springer (2012). doi: 10.1007\/978-3-642-28869-2_15","DOI":"10.1007\/978-3-642-28869-2_15"},{"key":"262_CR16","unstructured":"Fehnker, A., van Glabbeek, R.J., H\u00f6fner, P., McIver, A.K., Portmann, M., Tan, W.L.: A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV. Technical Report 5513, NICTA (2013). http:\/\/arxiv.org\/abs\/1312.7645"},{"key":"262_CR17","doi-asserted-by":"publisher","unstructured":"Garcia-Luna-Aceves, J.J.: A unified approach to loop-free routing using distance vectors or link states. In: Symposium Proceedings on Communications, Architectures and Protocols (SIGCOMM \u201989), ACM SIGCOMM Computer Communication Review, vol. 19(4), pp. 212\u2013223. ACM Press (1989). doi: 10.1145\/75246.75268","DOI":"10.1145\/75246.75268"},{"key":"262_CR18","doi-asserted-by":"publisher","unstructured":"Garcia-Luna-Aceves, J.J., Rangarajan, H.: A new framework for loop-free on-demand routing using destination sequence numbers. In: Mobile Ad-hoc and Sensor Systems (MASS\u2019 04), pp. 426\u2013435. IEEE (2004). doi: 10.1109\/MAHSS.2004.1392182","DOI":"10.1109\/MAHSS.2004.1392182"},{"key":"262_CR19","doi-asserted-by":"publisher","unstructured":"Ghassemi, F., Fokkink, W., Movaghar, A.: Restricted broadcast process theory. In: Cerone, A., Gruner, S. (eds.) Software Engineering and Formal Methods (SEFM \u201908), pp. 345\u2013354. IEEE Computer Society (2008). doi: 10.1109\/SEFM.2008.25","DOI":"10.1109\/SEFM.2008.25"},{"key":"262_CR20","doi-asserted-by":"publisher","unstructured":"Godskesen, J.C.: A calculus for mobile ad hoc networks. In: Murphy, A.L., Vitek, J. (eds.) Coordination Models and Languages (COORDINATION \u201907), Lecture Notes in Computer Science, vol. 4467, pp. 132\u2013150. Springer (2007). doi: 10.1007\/978-3-540-72794-1_8","DOI":"10.1007\/978-3-540-72794-1_8"},{"key":"262_CR21","doi-asserted-by":"publisher","unstructured":"Godskesen, J.C.: Observables for mobile and wireless broadcasting systems. In: Clarke, D., Agha, G.A. (eds.) Coordination Models and Languages (COORDINATION \u201910), Lecture Notes in Computer Science, vol. 6116, pp. 1\u201315. Springer (2010). doi: 10.1007\/978-3-642-13414-2_1","DOI":"10.1007\/978-3-642-13414-2_1"},{"issue":"4","key":"262_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1090191.1080094","volume":"35","author":"T.G. Griffin","year":"2005","unstructured":"Griffin T.G., Sobrinho J.: Metarouting. SIGCOMM Comput. Commun. Rev. 35(4), 1\u201312 (2005). doi: 10.1145\/1090191.1080094","journal-title":"SIGCOMM Comput. Commun. Rev."},{"key":"262_CR23","doi-asserted-by":"publisher","unstructured":"Guerrero-Zapata, M., Asokan, N.: Securing Ad Hoc Routing Protocols. In: Proceedings of the 2002 ACM Workshop on Wireless Security (WiSe 2002), pp. 1\u201310. ACM Press (2002). doi: 10.1145\/570681.570682","DOI":"10.1145\/570681.570682"},{"key":"262_CR24","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"262_CR25","doi-asserted-by":"publisher","unstructured":"H\u00f6fner, P., van Glabbeek, R.J., Tan, W.L., Portmann, M., McIver, A.K., Fehnker, A.: A rigorous analysis of AODV and its variants. In: Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM \u201912), pp. 203\u2013212. ACM Press (2012). doi: 10.1145\/2387238.2387274","DOI":"10.1145\/2387238.2387274"},{"key":"262_CR26","unstructured":"IEEE: IEEE Standard for Information Technology\u2014Telecommunications and information exchange between systems\u2014Local and metropolitan area networks\u2014Specific requirements Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) specifications Amendment 10: Mesh Networking (2011). http:\/\/ieeexplore.ieee.org\/xpl\/articleDetails.jsp?arnumber=6018236"},{"key":"262_CR27","doi-asserted-by":"publisher","unstructured":"Jacquet, P., Laouiti, A., Minet, P., Viennot, L.: Performance of multipoint relaying in ad hoc mobile routing protocols. In: Gregori, E., Conti, M., Campbell, A.T., Omidyar, G., Zukerman, M. (eds.) Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications (NETWORKING \u201902), Lecture Notes in Computer Science, pp. 387\u2013398. Springer (2002). doi: 10.1007\/3-540-47906-6_31","DOI":"10.1007\/3-540-47906-6_31"},{"key":"262_CR28","unstructured":"Johnson, D., Hu, Y., Maltz, D.: The dynamic source routing protocol (DSR) for mobile ad hoc networks for IPv4. RFC 4728 (Experimental), Network Working Group (Errata Exist) (2007). http:\/\/www.ietf.org\/rfc\/rfc4728.txt"},{"issue":"1","key":"262_CR29","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/98.904894","volume":"8","author":"D. Maltz","year":"2001","unstructured":"Maltz D., Broch J., Johnson D.B.: Lessons from a full-scale multihop wireless ad hoc network testbed. IEEE Pers. Commun. 8(1), 8\u201315 (2001). doi: 10.1109\/98.904894","journal-title":"IEEE Pers. Commun."},{"issue":"9","key":"262_CR30","doi-asserted-by":"publisher","first-page":"1280","DOI":"10.1109\/TCOM.1979.1094552","volume":"27","author":"P.M. Merlin","year":"1979","unstructured":"Merlin P.M., Segall A.: A failsafe distributed routing protocol. IEEE Trans. Commun. 27(9), 1280\u20131287 (1979). doi: 10.1109\/TCOM.1979.1094552","journal-title":"IEEE Trans. Commun."},{"issue":"2","key":"262_CR31","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 (full version). Inf. Comput. 207(2), 194\u2013208 (2009). doi: 10.1016\/j.ic.2007.11.010","journal-title":"Inf. Comput."},{"key":"262_CR32","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. 158, 331\u2013353 (2006). doi: 10.1016\/j.entcs.2006.04.017","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"262_CR33","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"262_CR34","doi-asserted-by":"publisher","unstructured":"Miskovic, S., Knightly, E.W.: Routing primitives for wireless mesh networks: design, analysis and experiments. In: Conference on Information Communications (INFOCOM \u201910), pp. 2793\u20132801. IEEE (2010). doi: 10.1109\/INFCOM.2010.5462111","DOI":"10.1109\/INFCOM.2010.5462111"},{"key":"262_CR35","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. 367, 203\u2013227 (2006). doi: 10.1016\/j.tcs.2006.08.036","journal-title":"Theor. Comput. Sci."},{"key":"262_CR36","unstructured":"Neumann, A., Aichele C. Lindner, M., Wunderlich, S.: Better approach to mobile ad-hoc networking (B.A.T.M.A.N.). Internet-Draft (Experimental), Network Working Group (2008). http:\/\/tools.ietf.org\/html\/draft-openmesh-b-a-t-m-a-n-00"},{"key":"262_CR37","unstructured":"The network simulator ns-2. http:\/\/nsnam.isi.edu\/nsnam\/index.php\/Main_Page (accessed 20 December 2013)"},{"key":"262_CR38","unstructured":"Perkins, C.E., Belding-Royer, E.M., Das, S.: Ad hoc on-demand distance vector (AODV) routing. RFC 3561 (Experimental), Network Working Group (2003). http:\/\/www.ietf.org\/rfc\/rfc3561.txt"},{"issue":"1","key":"262_CR39","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/98.904895","volume":"8","author":"C.E. Perkins","year":"2001","unstructured":"Perkins C.E., Belding-Royer E.M., Das S.R., Marina M.K.: Performance comparison of two on-demand routing protocols for ad hoc networks. IEEE Pers. Commun. 8(1), 16\u201328 (2001). doi: 10.1109\/98.904895","journal-title":"IEEE Pers. Commun."},{"key":"262_CR40","unstructured":"Perkins, C.E., Ratliff, S., Dowdell, J.: Dynamic MANET on-demand (AODVv2) routing. Internet Draft (Standards Track), Mobile Ad hoc Networks Working Group (2013). http:\/\/tools.ietf.org\/html\/draft-ietf-manet-aodvv2-02"},{"key":"262_CR41","doi-asserted-by":"publisher","unstructured":"Perkins, C.E., Royer, E.M.: Ad-hoc on-demand distance vector routing. In: Mobile Computing Systems and Applications (WMCSA \u201999), pp. 90\u2013100. IEEE (1999). doi: 10.1109\/MCSA.1999.749281","DOI":"10.1109\/MCSA.1999.749281"},{"issue":"5","key":"262_CR42","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1016\/j.comcom.2007.12.012","volume":"31","author":"A.A. Pirzada","year":"2008","unstructured":"Pirzada A.A., Portmann M., Indulska J.: Performance analysis of multi-radio AODV in hybrid wireless mesh networks. Comput. Commun. 31(5), 885\u2013895 (2008). doi: 10.1016\/j.comcom.2007.12.012","journal-title":"Comput. Commun."},{"issue":"2","key":"262_CR43","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/j.pmcj.2008.11.005","volume":"5","author":"A.A. Pirzada","year":"2009","unstructured":"Pirzada A.A., Portmann M., Wishart R., Indulska J.: SafeMesh: a wireless mesh network routing protocol for incident area communications. Pervas. Mobile Comput. 5(2), 201\u2013221 (2009). doi: 10.1016\/j.pmcj.2008.11.005","journal-title":"Pervas. Mobile Comput."},{"issue":"2-3","key":"262_CR44","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. 25(2-3), 285\u2013327 (1995). doi: 10.1016\/0167-6423(95)00017-8","journal-title":"Sci. Comput. Program."},{"key":"262_CR45","unstructured":"Ramachandran, K., Buddhikot, M.M., Chandranmenon, G., Miller, S., Belding-Royer, E.M., Almeroth, K.: On the design and implementation of infrastructure mesh networks. In: IEEE Workshop on Wireless Mesh Networks (WiMesh\u201905). IEEE (2005)"},{"key":"262_CR46","doi-asserted-by":"publisher","unstructured":"Rangarajan, H., Garcia-Luna-Aceves, J.J.: Making on-demand routing protocols based on destination sequence numbers robust. In: Communications (ICC \u201905), vol. 5, pp. 3068\u20133072 (2005). doi: 10.1109\/ICC.2005.1494958","DOI":"10.1109\/ICC.2005.1494958"},{"key":"262_CR47","unstructured":"SCALABLE Network Technologies: QualNet communications simulation platform. http:\/\/web.scalable-networks.com\/content\/qualnet . Accessed 20 December 2013"},{"key":"262_CR48","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.scico.2009.07.008","volume":"75","author":"A. Singh","year":"2010","unstructured":"Singh A., Ramakrishnan C.R., Smolka S.A.: A process calculus for mobile ad hoc networks. Sci. Comput. Program. 75, 440\u2013469 (2010). doi: 10.1016\/j.scico.2009.07.008","journal-title":"Sci. Comput. Program."},{"key":"262_CR49","doi-asserted-by":"crossref","unstructured":"Subramanian, A.P., Buddhikot, M.M., Miller, S.: Interference aware routing in multi-radio wireless mesh networks. In: IEEE Workshop on Wireless Mesh Networks (WiMesh \u201906). IEEE (2006)","DOI":"10.1109\/WIMESH.2006.288620"},{"key":"262_CR50","unstructured":"Tschudin, C.F.: Lightweight underlay network ad hoc routing (LUNAR) protocol. Internet Draft (Expired), Mobile Ad Hoc Networking Working Group (2004). http:\/\/user.it.uu.se\/~rmg\/pub\/draft-tschudin-manet-lunar-00.txt"},{"key":"262_CR51","unstructured":"Tschudin, C.F., Gold, R., Rensfelt, O., Wibling, O.: LUNAR: a lightweight underlay network ad-hoc routing protocol and implementation. In: Koucheryavy, Y. Harju, J., Koucheryavy, A. (eds.) Next Generation Teletraffic and Wired\/Wireless Advanced Networking (NEW2AN \u201904) (2004)"},{"key":"262_CR52","doi-asserted-by":"publisher","unstructured":"van Glabbeek, R.J., H\u00f6fner, P., Tan, W.L., Portmann, M.: Sequence numbers do not guarantee loop freedom\u2014AODV can yield routing loops. In: Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM \u201913), pp. 91\u2013100. ACM Press (2013). doi: 10.1145\/2507924.2507943","DOI":"10.1145\/2507924.2507943"},{"issue":"1","key":"262_CR53","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MWC.2004.1269716","volume":"11","author":"H. Yang","year":"2004","unstructured":"Yang H., Luo H., Ye F., Lu S., Zhang L.: Security in mobile ad hoc networks: challenges and solutions. IEEE Wirel. Commun. 11(1), 38\u201347 (2004). doi: 10.1109\/MWC.2004.1269716","journal-title":"IEEE Wirel. Commun."},{"issue":"2","key":"262_CR54","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/2185376.2185383","volume":"42","author":"P. Zave","year":"2012","unstructured":"Zave P.: Using lightweight modeling to understand chord. SIGCOMM Comput. Commun. Rev. 42(2), 49\u201357 (2012). doi: 10.1145\/2185376.2185383","journal-title":"SIGCOMM Comput. Commun. Rev."},{"key":"262_CR55","doi-asserted-by":"publisher","unstructured":"Zhou, M., Yang, H., Zhang, X., Wang, J.: The proof of AODV loop freedom. In: Wireless Communications and Signal Processing (WCSP \u201909). IEEE (2009). doi: 10.1109\/WCSP.2009.5371479","DOI":"10.1109\/WCSP.2009.5371479"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-015-0262-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00446-015-0262-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-015-0262-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T09:26:46Z","timestamp":1559122006000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00446-015-0262-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,4]]},"references-count":55,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["262"],"URL":"https:\/\/doi.org\/10.1007\/s00446-015-0262-7","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,4]]}}}