{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:36:46Z","timestamp":1725543406143},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540367079"},{"type":"electronic","value":"9783540368601"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11802372_19","type":"book-chapter","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T10:26:36Z","timestamp":1153736796000},"page":"175-186","source":"Crossref","is-referenced-by-count":0,"title":["A Layered Semantics for Mobile Computation"],"prefix":"10.1007","author":[{"given":"Jianghua","family":"Lv","sequence":"first","affiliation":[]},{"given":"Shilong","family":"Ma","sequence":"additional","affiliation":[]},{"given":"Jing","family":"Pan","sequence":"additional","affiliation":[]},{"given":"Li","family":"Ma","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","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 Ambient. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"19_CR2","first-page":"79","volume-title":"Proc. 26th POPL","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L., Gordon, A.D.: Types for Mobile Ambients. In: Proc. 26th POPL, pp. 79\u201392. ACM Press, New York (1999)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Shoham, Y.: Agent Oriented Programming. Artifficial Intelligence\u00a0(60), 51\u201392 (1993)","DOI":"10.1016\/0004-3702(93)90034-9"},{"key":"19_CR4","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":"19_CR5","unstructured":"Wagner, G.: VIVA Knowledge-Based Agent Programming (1996) (Preprint) on-line at: www.inf.fu-berlin.de\/wagner\/VIVA.ps.gz"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K.V. Hindriks","year":"1999","unstructured":"Hindriks, K.V., deBoer, F.S., van der Hoek, W., Meyer, J.J.Ch.: Agent Programming in 3APL. Intelligent Agents and Multi-Agent Systems\u00a02, 357\u2013401 (1999)","journal-title":"Intelligent Agents and Multi-Agent Systems"},{"key":"19_CR7","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. Fallah-Seghrouchni El","year":"2003","unstructured":"El Fallah-Seghrouchni, A., Suna, A.: An Unified Framework for Programming Autonomous. In: Ma\u0159\u00edk, V., M\u00fcller, J.P., P\u011bchou\u010dek, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol.\u00a02691, pp. 353\u2013362. Springer, Heidelberg (2003)"},{"key":"19_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25936-7_5","volume-title":"Programming Multi-Agent Systems","author":"A. Fallah-Seghrouchni El","year":"2004","unstructured":"El Fallah-Seghrouchni, A., Suna, A.: CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, Springer, Heidelberg (2004)"},{"key":"19_CR9","unstructured":"America, P.: The Practical Importance of Formal Semantics. In: Klop, J.W., Meyer, J.-J.Ch., Rutten, J.J.M.M. (eds.) J. W. de Bakker, 25 Jaar Semantiek, Liber Amicorum, Amsterdam, the Netherlands. Centre for Mathematics and Computer Science, April 1989, pp. 31\u201340 (1989)"},{"key":"19_CR10","unstructured":"Alexandru Suna, A., Fallah-Seghrouchni, E., Fouquer, C., Baillot, P.: Mobile Multi-agent Systems: A Programming Language and Its Semantics. In: Third International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2004), New York, USA, vol. 3, pp. 1386\u20131387 (2004)"},{"key":"19_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6228-2","volume-title":"The Denotational Description of Programming Languages: An Introduction","author":"M.J.C. Gordon","year":"1979","unstructured":"Gordon, M.J.C.: The Denotational Description of Programming Languages: An Introduction. Springer, Heidelberg (1979)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Levi, F., Sangiorgi, D.: Controlling Interference in Ambients. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium, 2000, pp. 352\u2013364 (2000)","DOI":"10.1145\/325694.325741"}],"container-title":["Lecture Notes in Computer Science","Agent Computing and Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11802372_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:12:14Z","timestamp":1605643934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11802372_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540367079","9783540368601"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11802372_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}