{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:40:42Z","timestamp":1743154842285,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662495285"},{"type":"electronic","value":"9783662495292"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49529-2_10","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T04:09:41Z","timestamp":1458533381000},"page":"123-137","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Mobile Agent Verifiable Problems"],"prefix":"10.1007","author":[{"given":"Evangelos","family":"Bampas","sequence":"first","affiliation":[]},{"given":"David","family":"Ilcinkas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,22]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/3-540-45414-4_3","volume-title":"Distributed Computing","author":"P Boldi","year":"2001","unstructured":"Boldi, P., Vigna, S.: An effective characterization of computability in anonymous networks. In: Welch, J.L. (ed.) DISC 2001. LNCS, vol. 2180, pp. 33\u201347. Springer, Heidelberg (2001)"},{"issue":"3","key":"10_CR2","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s004460100062","volume":"15","author":"P Boldi","year":"2002","unstructured":"Boldi, P., Vigna, S.: Universal dynamic synchronous self-stabilization. Distrib. Comput. 15(3), 137\u2013153 (2002)","journal-title":"Distrib. Comput."},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-87779-0_4","volume-title":"Distributed Computing","author":"J Chalopin","year":"2008","unstructured":"Chalopin, J., Godard, E., M\u00e9tivier, Y.: Local terminations and distributed computability in anonymous networks. In: Taubenfeld, G. (ed.) DISC 2008. LNCS, vol. 5218, pp. 47\u201362. Springer, Heidelberg (2008)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-69507-3_16","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"J Chalopin","year":"2007","unstructured":"Chalopin, J., Godard, E., M\u00e9tivier, Y., Tel, G.: About the termination detection in the asynchronous message passing model. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 200\u2013211. Springer, Heidelberg (2007)"},{"issue":"4","key":"10_CR5","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1145\/234533.234549","volume":"43","author":"TD Chandra","year":"1996","unstructured":"Chandra, T.D., Hadzilacos, V., Toueg, S.: The weakest failure detector for solving consensus. J. ACM 43(4), 685\u2013722 (1996)","journal-title":"J. ACM"},{"issue":"2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"TD Chandra","year":"1996","unstructured":"Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. J. ACM 43(2), 225\u2013267 (1996)","journal-title":"J. ACM"},{"key":"10_CR7","first-page":"54","volume":"109","author":"S Das","year":"2013","unstructured":"Das, S.: Mobile agents in distributed computing: network exploration. Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 109, 54\u201369 (2013)","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci. EATCS"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-642-35668-1_23","volume-title":"Distributed Computing and Networking","author":"S Das","year":"2013","unstructured":"Das, S., Kutten, S., Lotker, Z.: Distributed verification using mobile agents. In: Frey, D., Raynal, M., Sarkar, S., Shyamasundar, R.K., Sinha, P. (eds.) ICDCN 2013. LNCS, vol. 7730, pp. 330\u2013347. Springer, Heidelberg (2013)"},{"issue":"6","key":"10_CR9","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/s00446-014-0211-x","volume":"27","author":"P Fraigniaud","year":"2014","unstructured":"Fraigniaud, P., G\u00f6\u00f6s, M., Korman, A., Parter, M., Peleg, D.: Randomized distributed decision. Distrib. Comput. 27(6), 419\u2013434 (2014)","journal-title":"Distrib. Comput."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Fraigniaud, P., G\u00f6\u00f6s, M., Korman, A., Suomela, J.: What can be decided locally without identifiers? In: PODC 2013, pp. 157\u2013165. ACM (2013)","DOI":"10.1145\/2484239.2484264"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-35476-2_16","volume-title":"Principles of Distributed Systems","author":"P Fraigniaud","year":"2012","unstructured":"Fraigniaud, P., Halld\u00f3rsson, M.M., Korman, A.: On the impact of identifiers on local decision. In: Baldoni, R., Flocchini, P., Binoy, R. (eds.) OPODIS 2012. LNCS, vol. 7702, pp. 224\u2013238. Springer, Heidelberg (2012)"},{"issue":"5","key":"10_CR12","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/2499228","volume":"60","author":"P Fraigniaud","year":"2013","unstructured":"Fraigniaud, P., Korman, A., Peleg, D.: Towards a complexity theory for local distributed computing. J. ACM 60(5), 35 (2013)","journal-title":"J. ACM"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-29344-3_31","volume-title":"LATIN 2012: Theoretical Informatics","author":"P Fraigniaud","year":"2012","unstructured":"Fraigniaud, P., Pelc, A.: Decidability classes for mobile agents computing. In: Fern\u00e1ndez-Baca, D. (ed.) LATIN 2012. LNCS, vol. 7256, pp. 362\u2013374. Springer, Heidelberg (2012)"},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/114005.102808","volume":"13","author":"M Herlihy","year":"1991","unstructured":"Herlihy, M.: Wait-free synchronization. ACM Trans. Program. Lang. Syst. 13(1), 124\u2013149 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3","key":"10_CR15","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/295685.298136","volume":"42","author":"DB Lange","year":"1999","unstructured":"Lange, D.B., Oshima, M.: Seven good reasons for mobile agents. Commun. ACM 42(3), 88\u201389 (1999)","journal-title":"Commun. ACM"},{"key":"10_CR16","first-page":"93","volume":"108","author":"E Markou","year":"2012","unstructured":"Markou, E.: Identifying hostile nodes in networks using mobile agents. Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 108, 93\u2013129 (2012)","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci. EATCS"},{"issue":"4","key":"10_CR17","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF01192691","volume":"29","author":"M Yamashita","year":"1996","unstructured":"Yamashita, M., Kameda, T.: Computing functions on asynchronous anonymous networks. Math. Syst. Theory 29(4), 331\u2013356 (1996)","journal-title":"Math. Syst. Theory"}],"container-title":["Lecture Notes in Computer Science","LATIN 2016: Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49529-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T00:24:40Z","timestamp":1558311880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49529-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662495285","9783662495292"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49529-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"22 March 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}