{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:11:19Z","timestamp":1729663879410,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cit.2004.1357252","type":"proceedings-article","created":{"date-parts":[[2004,12,23]],"date-time":"2004-12-23T04:34:02Z","timestamp":1103776442000},"page":"546-553","source":"Crossref","is-referenced-by-count":1,"title":["A language for description and verification of mobile agent algorithms"],"prefix":"10.1109","author":[{"family":"Xuhui Li","sequence":"first","affiliation":[]},{"family":"Jiannong Cao","sequence":"additional","affiliation":[]},{"family":"Yanxiang He","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/32.666824"},{"key":"2","first-page":"1","article-title":"The polyadic ?-calculus: A tutorial","author":"milner","year":"0","journal-title":"Logic and Algebra of Specification"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1023\/B:SUPE.0000026849.98610.e4"},{"journal-title":"Mobile Object Systems Lecture Notes in Computer Science","article-title":"Mobile agent technology: Current trends and perspectives","year":"1997","author":"cabri","key":"1"},{"journal-title":"Research on the Problems of the Description and the Simulation of Mobile Agents","year":"2003","author":"li","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019211714301"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0057647","article-title":"Infrastructure for mobile Agents: Requirements and design","author":"aridor","year":"1998","journal-title":"Proceedings of 2nd International Workshop on Mobile Agents (MA '98)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/32.685258"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0053547","article-title":"Mobile ambients","author":"cardelli","year":"1998","journal-title":"Proceedings of Foundations of Software Science and Computation Structures"},{"key":"8","first-page":"239","article-title":"A logic of current programming","volume":"3","author":"misra","year":"1995","journal-title":"Journal of Computer and Software Engineering"}],"event":{"name":"The Fourth International Conference onComputer and Information Technology, 2004. CIT '04.","location":"Wuhan, China"},"container-title":["The Fourth International Conference onComputer and Information Technology, 2004. CIT '04."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9381\/29791\/01357252.pdf?arnumber=1357252","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T09:43:00Z","timestamp":1497606180000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1357252\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/cit.2004.1357252","relation":{},"subject":[]}}