{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T18:16:41Z","timestamp":1769537801209,"version":"3.49.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/iat.2004.1342925","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T11:28:24Z","timestamp":1099913304000},"page":"65-71","source":"Crossref","is-referenced-by-count":1,"title":["Programming mobile intelligent agents: an operational semantics"],"prefix":"10.1109","author":[{"given":"A.","family":"El Fallah-Seghrouchni","sequence":"first","affiliation":[{"name":"CNRS UMR, Paris Univ., France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Suna","sequence":"additional","affiliation":[{"name":"CNRS UMR, Paris Univ., France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90034-9"},{"key":"17","article-title":"BDI-agents: From theory to practice","author":"rao","year":"1995","journal-title":"Proceedings of the first international conference on multiagent systems"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45619-8_39"},{"key":"15","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/BFb0057648","article-title":"MASIF, the OMG mobile agent system interoperability facility","author":"milojicic","year":"1998","journal-title":"Proc Mobile Agents"},{"key":"16","article-title":"A structural approach to operational semantics","volume":"dami fn 19","author":"plotkin","year":"1981","journal-title":"Technical Report"},{"key":"13","article-title":"Resource sharing and load balancing based on agent mobility","author":"klein","year":"2004","journal-title":"Proceedings of ICEIS'04"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325741"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45263-X_13"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010084620690"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-32260-3_7"},{"key":"20","article-title":"Programming e-commerce applications in the CLAIM language","volume":"14","author":"suna","year":"2003","journal-title":"Proceedings of CSC"},{"key":"22","article-title":"Towards a calculus of secure mobile computations","author":"vitek","year":"1998","journal-title":"IEEE Workshop on Internet Programming Languages"},{"key":"23","author":"wagner","year":"1996","journal-title":"VIVA Knowledge-based Agent Programming"},{"key":"24","first-page":"386","article-title":"Design of a concurrent agent-oriented language","volume":"890","author":"weerasooriya","year":"1995","journal-title":"Intelligent Agents Theories Architectures and Languages LNAI"},{"key":"25","article-title":"Mobile agents","author":"white","year":"1997","journal-title":"Software Agents"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/4434.846193"},{"key":"3","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-48749-2_4","article-title":"Abstractions for mobile computation","volume":"1603","author":"cardelli","year":"1999","journal-title":"Secure Internet Programming LNCS"},{"key":"2","article-title":"Obliq, A language with distributed scope","volume":"122","author":"cardelli","year":"1994","journal-title":"Technical Report"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45023-8_34"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4376-0"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/32.685256"},{"key":"6","article-title":"Agent-k: An integration of AOP and KQML","author":"davies","year":"1994","journal-title":"Proceedings of the CIKM'94 Workshop on Intelligent Agents"},{"key":"5","article-title":"Agents as clonable objects with knowledge base state","author":"clark","year":"1996","journal-title":"Proc ICMAS"},{"key":"4","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0053547","article-title":"Mobile ambients","volume":"1378","author":"cardelli","year":"1998","journal-title":"Foundations of Software Science and Computational Structures LNAI"},{"key":"9","first-page":"90","article-title":"Claim: A computational language for autonomous, intelligent and mobile agents","volume":"3067","author":"el fallah-seghrouchni","year":"0","journal-title":"Proceedings of ProMAS'03 Workshop of AAMAS LNAI"},{"key":"8","first-page":"155","article-title":"A formal specification of dMARS","volume":"1365","author":"d'lnverno","year":"1998","journal-title":"Intelligent Agents IV Procedings of ATAL'98 LNAI"}],"event":{"name":"Proceedings. IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology (IAT 2004)","location":"Beijing, China","start":{"date-parts":[[2004,9,24]]},"end":{"date-parts":[[2004,9,24]]}},"container-title":["Proceedings. IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004)."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9301\/29567\/01342925.pdf?arnumber=1342925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T05:32:38Z","timestamp":1769491958000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1342925\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/iat.2004.1342925","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}