{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:09:57Z","timestamp":1743077397724,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410201"},{"type":"electronic","value":"9783540452638"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45263-x_15","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T01:15:42Z","timestamp":1185844542000},"page":"232-248","source":"Crossref","is-referenced-by-count":5,"title":["Mobile Agents Coordination in Mobadtl"],"prefix":"10.1007","author":[{"given":"Gianluigi","family":"Ferrari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Montangero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Semini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Semprini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"J.-M. Andreoli, C. Hankin, and D. L. M\u00e9tayer, editors. Coordination Programming: Mechanisms, Models and Semantics Imperial College Press, 1996.","DOI":"10.1142\/9781848161023"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"F. Arbab, M. Bonsangue, and F. de Boer. A coordination language for mobile components. In Proc. of the 2000 ACM Symposium on Applied Computing (SAC 2000). ACM Press, 2000.","DOI":"10.1145\/335603.335734"},{"key":"15_CR3","series-title":"The Java Series","volume-title":"The Java Programming Language","author":"K. Arnold","year":"1998","unstructured":"K. Arnold and J. Gosling. The Java Programming Language. The Java Series. Addison-Wesley, Reading, MA, second edition, 1998.","edition":"second edition"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"R. Back and J. von Wright. Refinement Calculus. A Systematic Introduction. Graduate texts in computer science. Springer-Verlag, 1998.","DOI":"10.1007\/978-1-4612-1674-2_1"},{"key":"15_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-48523-6_20","volume-title":"26th Colloquium on Automata, Languages and Programming (ICALP) (Prague, Czech Republic)","author":"L. Cardelli","year":"1999","unstructured":"L. Cardelli, G. Ghelli, and A. Gordon. Mobility Types for Mobile Ambients. In J. Wiederman, P. van Emde Boas, and M. Nielsen, editors, 26th Colloquium on Automata, Languages and Programming (ICALP) (Prague, Czech Republic), volume 1644 of Lecture Notes in Computer Science, pages 230\u2013239. Springer-Verlag, July 1999."},{"key":"15_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computational Structures","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli and A. Gordon. Mobile ambients. In M. Nivat, editor, Foundations of Software Science and Computational Structures, volume 1378 of Lecture Notes in Computer Science, pages 140\u2013155. Springer Verlag, 1998."},{"issue":"2","key":"15_CR7","first-page":"97","volume":"5","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter. Coordination Languages and their Significance. Communications of the ACM, 5(2):97\u2013107, 1989.","journal-title":"Communications of the ACM"},{"issue":"4","key":"15_CR8","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444\u2013459, 1989.","journal-title":"Communications of the ACM"},{"key":"15_CR9","volume-title":"Parallel Program Design: A Foundation","author":"K. Chandy","year":"1988","unstructured":"K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading Mass., 1988."},{"key":"15_CR10","series-title":"Lect Notes Comput Sci","first-page":"93","volume-title":"Mobile Object Systems: Towards the Programmable Internet","author":"G. Cugola","year":"1997","unstructured":"G. Cugola, C. Ghezzi, G. Picco, and G. Vigna. Analyzing Mobile Code Languages. In Mobile Object Systems: Towards the Programmable Internet, volume 1222 of Lecture Notes in Computer Science, pages 93\u2013110. Springer-Verlag, Apr 1997."},{"issue":"5","key":"15_CR11","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, and R. Pugliese. A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):315\u2013330, 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, to appear, 2000. Available at http:\/\/rap.dsi.unifi.it\/papers.html .","DOI":"10.1016\/S0304-3975(99)00232-7"},{"key":"15_CR13","unstructured":"G. Ferrari, C. Montangero, L. Semini, and S. Semprini. Multiple Security Policies in Mobadtl. In Proc. Workshop on Issues in the Theory of Security (WITS\u201900), Geneva, 7,8 July 2000."},{"key":"15_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"Proc. CONCUR\u2019 96: Concurrency Theory, 7th International Conference","author":"C. Fournet","year":"1996","unstructured":"C. Fournet, G. Gonthier, J.-J. L\u00e9vy, L. Maranget, and D. R\u00e9my. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. CONCUR\u2019 96: Concurrency Theory, 7th International Conference, volume 1119 of Lecture Notes in Computer Science, pages 406\u2013421, Pisa, Aug. 1996. Springer-Verlag. 248 G. Ferrari et al."},{"issue":"5","key":"15_CR15","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/32.685258","volume":"24","author":"A. Fuggetta","year":"1998","unstructured":"A. Fuggetta, G. Picco, and G. Vigna. Understanding Code Mobility. IEEE Transactions on Software Engineering, 24(5):342\u2013361, 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"15_CR16","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1989","unstructured":"D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80\u2013112, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR17","unstructured":"L. Gong. Inside Java 2 Platform Security. Addison-WESLEY, 1999."},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"M. Hennessy and J. Riely. Resource Access Control in Systems of Mobile Agents. In U. Nestmann and B. Pierce, editors, Proc. HLCL\u2019 98: High-Level Concurrent Languages, volume 16.3 of Electronic Notes on Theoretical Computer Science, pages 3\u201317, Nice, France, Sep. 1998. Elsevier Science Publishers.","DOI":"10.1016\/S1571-0661(04)00141-0"},{"key":"15_CR19","unstructured":"D. B. Lange and M. Oshima. Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley, 1998."},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"F. Levi and D. Sangiorgi. Controlling Interference in Ambients. In Proc. 27 th Annual ACM Symp. on Principles of Programming Languages, pages 352\u2013264, Boston, Jan 00. ACM Press.","DOI":"10.1145\/325694.325741"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"P. McCann and G.-C. Roman. Compositional programming abstractions for mobile computing. IEEE Transactions on Software Engineering, 24(2):97\u2013110, Feb. 1998.","DOI":"10.1109\/32.666824"},{"key":"15_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/3-540-48919-3_10","volume-title":"Proc. 3nd Int. Conf. on Coordination Models and Languages","author":"C. Montangero","year":"1999","unstructured":"C. Montangero and L. Semini. Composing Specifications for Coordination. In P. Ciancarini and A. Wolf, editors, Proc. 3nd Int. Conf. on Coordination Models and Languages, volume 1594 of Lecture Notes in Computer Science, pages 118\u2013133, Amsterdam, Apr. 1999. Springer-Verlag."},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"G. Necula. Proof-carrying code. In Proc. of the ACM Symposium on Principles of Programming Languages. ACM, 1997.","DOI":"10.1145\/263699.263712"},{"key":"15_CR24","unstructured":"L. Paulson and T. Nipkow. Isabelle. http:\/\/www.cl.cam.ac.uk\/Research\/HVG\/Isabelle\/ ."},{"key":"15_CR25","unstructured":"D. Sangiorgi. Personal Communication."},{"key":"15_CR26","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0167-6423(98)00021-5","volume":"34","author":"L. Semini","year":"1999","unstructured":"L. Semini and C. Montangero. A Refinement Calculus for Tuple Spaces. Science of Computer Programming, 34:79\u2013140, 1999.","journal-title":"Science of Computer Programming"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"P. Sewell and J. Vitek. Secure Composition of Insecure Components. In Proc. Computer Security Foundations Workshop 12, CSFW-12. IEEE, 1999.","DOI":"10.1109\/CSFW.1999.779769"},{"key":"15_CR28","series-title":"Lect Notes Comput Sci","volume-title":"Proc. Workshop on Internet Programming Languages","author":"J. Vitek","year":"1998","unstructured":"J. Vitek and G. Castagna. Towards a Calculus of Secure Mobile Computations. In Proc. Workshop on Internet Programming Languages, volume 1686 of Lecture Notes in Computer Science, Chicago, Illinois, May 1998. Springer-Verlag."},{"key":"15_CR29","unstructured":"J. E. White. Mobile Agents. In J. Bradshaw, editor, Software Agents. AAAI Press and MIT Press, 1996."}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45263-X_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T11:50:19Z","timestamp":1556711419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45263-X_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410201","9783540452638"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-45263-x_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}