{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:55:59Z","timestamp":1725562559288},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221807"},{"type":"electronic","value":"9783540259367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25936-7_5","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T21:04:10Z","timestamp":1281301450000},"page":"90-110","source":"Crossref","is-referenced-by-count":20,"title":["CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents"],"prefix":"10.1007","author":[{"given":"Amal","family":"El Fallah-Seghrouchni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandru","family":"Suna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Cardelli, L.: Mobile Ambients Synchronization, SRC Technical Note, Digital Equipment Corporation System Research Center (1997)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Obliq: A Language with Distributed Scope SRC Technical Note, Digital Equipment Corporation System Research Center (1995)","DOI":"10.1145\/199448.199516"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-48749-2_4","volume-title":"Secure Internet Programming","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L.: Abstractions for Mobile Computation. In: Vitek, J. (ed.) Secure Internet Programming. LNCS, vol.\u00a01603, pp. 51\u201394. Springer, Heidelberg (1999)"},{"key":"5_CR5","volume-title":"Proc. of ICMAS 1996","author":"K.L. Clark","year":"1996","unstructured":"Clark, K.L., Skarmeas, N., McCabe, F.: Agents as Clonable Objects with Knowledge Base State. In: Proc. of ICMAS 1996, AAAI Press, Menlo Park (1996)"},{"key":"5_CR6","unstructured":"Davies, W.H.E., Edwards, P.: Agent-K: An Integration of AOP and KQLM. In: Proceedings of the CIKM 1994 Workshop on Intelligent Agents (1994)"},{"key":"5_CR7","first-page":"22","volume-title":"ASA\/MA 1999","author":"S. Conchon","year":"1999","unstructured":"Conchon, S., Le Fessant, F.: Jocaml: Mobile Agents for Objective-Caml. In: ASA\/MA 1999, pp. 22\u201329. IEEE Computer Society, Los Alamitos (1999)"},{"key":"5_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/3-540-45023-8_34","volume-title":"Multi-Agent Systems and Applications III","author":"A.E. Fallah-Seghrouchni","year":"2003","unstructured":"Fallah-Seghrouchni, A.E., Suna, A.: An Unified Framework for Programming Autonomous, Intelligent and Mobile Agents. In: Ma\u0159\u00edk, V., M\u00fcller, J.P., P\u011bchou\u010dek, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol.\u00a02691, p. 353. Springer, Heidelberg (2003) (to appear)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Hashimoto, M., Yonezawa, A.: MobileML: A Programming Language for Mobile Computation Coordination Models and Languages, pp. 198\u2013215 (2000)","DOI":"10.1007\/3-540-45263-X_13"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K.V. Hindriks","year":"1999","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.J.C.: Agent Programming in 3APL. Intelligent Agents and Multi-Agent Systems\u00a02, 357\u2013401 (1999)","journal-title":"Intelligent Agents and Multi-Agent Systems"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BFb0026757","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"M. d\u2019Inverno","year":"1998","unstructured":"d\u2019Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A Formal Specification of dMARS. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, pp. 155\u2013176. Springer, Heidelberg (1998)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Levi, F., Sangiori, D.: Controlling Interference in Ambients. In: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 352\u2013364 (2000)","DOI":"10.1145\/325694.325741"},{"key":"5_CR13","series-title":"LNAI","volume-title":"Intelligent Agents","author":"F.G. McCabe","year":"1995","unstructured":"McCabe, F.G., Clark, K.L.: April Agent PRocess Interaction Language Intelligent Agents: Theories, Architectures, and Languages. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS (LNAI), vol.\u00a0890, Springer, Heidelberg (1995)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Milojicic, D., Breugst, M., Busse, I., Campbell, J., Covaci, S., Friedman, B., Kosaka, K., Lange, D., Ono, K., Oshima, M., Tham, C., Virdhagriswaran, S., White, J.: MASIF, The OMG Mobile Agent System Interoperability Facility (1998)","DOI":"10.1007\/BFb0057648"},{"issue":"5","key":"5_CR15","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. DeNicola","year":"1998","unstructured":"DeNicola, R., Ferrari, G., Pugliese, R.: KLAIM: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1007\/3-540-45619-8_39","volume-title":"Logic Programming","author":"P. Sampath","year":"2002","unstructured":"Sampath, P.: Modelling Multi-agent Reactive Systems. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, p. 476. Springer, Heidelberg (2002)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Shoham, Y.: Agent Oriented Programming. Artificial Intelligence\u00a0(60), 51\u201392 (1993)","DOI":"10.1016\/0004-3702(93)90034-9"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Thomas, R.S.: The PLACA agent programming language. In: Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents, pp. 355\u2013370 (1995)","DOI":"10.1007\/3-540-58855-8_23"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Vitek, J., Castagna, G.: Towards a Calculus of Secure Mobile Computations. In: IEEE Workshop on Internet Programming Languages (1998)","DOI":"10.1007\/3-540-47959-7_3"},{"key":"5_CR20","unstructured":"Gerd Wagner - VIVA Knowledge-Based Agent Programming (1996), Preprint on-line at: http:\/\/www.inf.fu-berlin.de\/wagner\/VIVA.ps.gz"},{"key":"5_CR21","volume-title":"Software Agents","author":"J. White","year":"1997","unstructured":"White, J.: Mobile agents. In: Bradshaw, J. (ed.) Software Agents, MIT Press, Cambridge (1997)"},{"key":"5_CR22","series-title":"LNAI","volume-title":"Intelligent Agents","author":"D. Weerasooriya","year":"1995","unstructured":"Weerasooriya, D., Rao, A.S., Ramamohanarao, K.: Design of a Concurrent Agent-Oriented Language. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS (LNAI), vol.\u00a0890, Springer, Heidelberg (1995)"},{"key":"5_CR23","unstructured":"Wojciechowski, P.T., Sewell, P.: Normand Pict: Language and Infrastructure Design for Mobile Agents. In: Proceedings of ASA\/MA (1999)"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25936-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T12:49:43Z","timestamp":1559393383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25936-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221807","9783540259367"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25936-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}