{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:31:32Z","timestamp":1725492692878},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660934"},{"type":"electronic","value":"9783540487531"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48753-0_18","type":"book-chapter","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T13:58:29Z","timestamp":1192024709000},"page":"199-210","source":"Crossref","is-referenced-by-count":2,"title":["An Ada95 Implementation of a Network Coordination Language with Code Mobility"],"prefix":"10.1007","author":[{"given":"Emilio","family":"Tuosto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,11]]},"reference":[{"key":"18_CR1","unstructured":"International Standard ISO\/IEC 8652:1995(E). Annotated Ada Reference Manual: Language and Standard Libraries. Intermetrics, Inc., 1994."},{"key":"18_CR2","unstructured":"L. Bettini, R. De Nicola, G. Ferrari, R. Pugliese. Interactive Mobile Agents in XKlaim Proceedings of WETICE\u201998, IEEE, 1998. (To appear)"},{"key":"18_CR3","unstructured":"L. Cardelli. Obliq: A language with distributed scope. SRC Research Report 122, Digital Equipment Corporation Systems Research Center, June 3, 1994."},{"issue":"1","key":"18_CR4","first-page":"27","volume":"8","author":"L. Cardelli","year":"1995","unstructured":"L. Cardelli. A Language with Distributed Scope. Computing Systems, 8(1):27\u201359, MIT Press, 1995.","journal-title":"Computing Systems"},{"issue":"Number 4es","key":"18_CR5","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1145\/242224.242430","volume":"28","author":"L. Cardelli","year":"1996","unstructured":"L. Cardelli. Global Computation. ACM Computing Surveys, Vol. 28, Number 4es, pp. 163\u2013163, December 1996.","journal-title":"ACM Computing Surveys"},{"issue":"4","key":"18_CR6","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero, D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444\u2013458, April 1989.","journal-title":"Communications of the ACM"},{"key":"18_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"FoSSaCS","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli, A. D. Gordon. Mobile Ambients. FoSSaCS, LNCS 1378, pag. 140\u2013155, 1998"},{"key":"18_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"712","DOI":"10.1007\/BFb0030636","volume-title":"FASE-TAPSOFT\u201997","author":"R. Nicola De","year":"1997","unstructured":"R. De Nicola, G. Ferrari, R. Pugliese. Locality based Linda: programming with explicit localities. FASE-TAPSOFT\u201997, Proceedings (M. Bidoit, M. Dauchet Eds.), LNCS 1214, pp. 712\u2013726, Springer, 1997."},{"key":"18_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/3-540-63383-9_83","volume-title":"COORDINATION\u201997, Proceedings","author":"R. Nicola De","year":"1997","unstructured":"R. De Nicola, G. Ferrari, R. Pugliese. Coordinating Mobile Agents via Black-boards and Access Rights. COORDINATION\u201997, Proceedings (D. Garlan, D. Le Metayer, Eds.), LNCS 1282, pp. 220\u2013237, Springer, 1997."},{"issue":"5","key":"18_CR10","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"R. De Nicola, G. Ferrari, R. Pugliese. Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5), pp. 315\u2013330, 1998. (Available at the http:\/\/www.di.unipi.it\/~giangi\/papers ).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"A. Giacalone, P. Mishra, S. Prasad. Facile: A Symmetric Integration of Concurrent and Functional Programming. Internation Journal of Parallel Programming, 18(2), 1989.","DOI":"10.1007\/BF01491213"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"C. Ghezzi, G. Vigna. Mobile Code Paradigms and Technologies: A Case Study. Proceedings of the First International Workshop on Mobile Agents (MA97), Berlin, Germany, April 1997.","DOI":"10.1007\/3-540-62803-7_22"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Process. Prentice Hall Int., 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, D. Walker. A Calculus of Mobile Processes, (part I and II), Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"18_CR15","unstructured":"Object Management Group. CORBA: Architecture and Specification, August 1995."},{"key":"18_CR16","unstructured":"B. C. Pierce, David N. Turner. Pict: A Programming Language based on the Pi-Calculus Technical Report, Computer Science Department, Indiana University, Number CSCI 476, March 1997."},{"key":"18_CR17","series-title":"Lect Notes Comput Sci","first-page":"563","volume-title":"REX Workshop \u201cSemantics: Foundations and Applications\u201d","author":"B. Thomsen","year":"1992","unstructured":"B. Thomsen, L. Leth, A. Giacalone. Some Issues in the Semantic of Facile Distributer Programming. REX Workshop \u201cSemantics: Foundations and Applications\u201d (J. W. de Bakker, W-P. de Roever, G. Rezenberg), LNCS 666, pp. 563\u2013593, Springer, 1992."},{"key":"18_CR18","unstructured":"E. Tuosto. Semantica e Pragmatica di un Linguaggio di Coordinamento di Attivit\u00e0 su reti. Master Thesis in Computer Science, University of Pisa, Italy. 1998."},{"key":"18_CR19","unstructured":"G. Vigna. Mobile Code Technologies, Paradigms, and Applications. Ph.D. Thesis, Politecnico di Milano, 1998."},{"key":"18_CR20","unstructured":"J. E. White. Telescript Technology: Foundation for the Electronic Market Place. General Magic White Paper, 1994."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe\u2019 99"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48753-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T11:12:21Z","timestamp":1684062741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48753-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660934","9783540487531"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-48753-0_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}