{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:31:12Z","timestamp":1743031872550,"version":"3.40.3"},"publisher-location":"Cham","reference-count":6,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319401614"},{"type":"electronic","value":"9783319401621"}],"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-319-40162-1_13","type":"book-chapter","created":{"date-parts":[[2016,5,31]],"date-time":"2016-05-31T03:59:51Z","timestamp":1464667191000},"page":"115-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Constraint Solving-Based Itineraries for Mobile Agents"],"prefix":"10.1007","author":[{"given":"Ichiro","family":"Satoh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,1]]},"reference":[{"key":"13_CR1","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Foundations of Software Science and Computational Structures. LNCS, vol. 1378, pp. 140\u2013155 (1998)"},{"issue":"2","key":"13_CR2","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1145\/350887.350893","volume":"9","author":"P Ciancarini","year":"2000","unstructured":"Ciancarini, P., Franze, F., Mascolo, C.: Using a coordination language to specify and analyze systems containing mobile components. ACM Transactions on Software Engineering and Methodology 9(2), 167\u2013198 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"13_CR3","unstructured":"Lange, B.D., Oshima, M.: Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley (1998)"},{"issue":"2","key":"13_CR4","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R Milner","year":"1992","unstructured":"Milner, R.: Functions as Processes. Mathematical Structures in Computer Science 2(2), 119\u2013141 (1992)","journal-title":"Mathematical Structures in Computer Science"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Satoh, I.: Mobile agents. In: Handbook of Ambient Intelligence and Smart Environments, pp. 771\u2013791. Springer (2010)","DOI":"10.1007\/978-0-387-93808-0_29"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Vitek, J., Castagna, G.: Seal: a framework for secure mobile computations. In: Proceedings of Internet Programming Languages. LNCS 1686, pp. 47\u201377 (1999)","DOI":"10.1007\/3-540-47959-7_3"}],"container-title":["Advances in Intelligent Systems and Computing","Distributed Computing and Artificial Intelligence, 13th International Conference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40162-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T00:48:04Z","timestamp":1558140484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40162-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319401614","9783319401621"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40162-1_13","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"1 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}