{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T20:29:02Z","timestamp":1764793742393},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617396"},{"type":"electronic","value":"9783540706748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61739-6_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:19:18Z","timestamp":1330294758000},"page":"98-112","source":"Crossref","is-referenced-by-count":10,"title":["Understanding mobile agents via a non-interleaving semantics for facile"],"prefix":"10.1007","author":[{"given":"R.","family":"Borgia","sequence":"first","affiliation":[]},{"given":"P.","family":"Degano","sequence":"additional","affiliation":[]},{"given":"C.","family":"Priami","sequence":"additional","affiliation":[]},{"given":"L.","family":"Leth","sequence":"additional","affiliation":[]},{"given":"B.","family":"Thomsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"K. Ahlers, D. E. Breen, C. Crampton, E. Rose, M. Tucheryan, R. Whitaker, and D. Greer. An augmented vision system for industrial applications. In SPIE Photonics for Industrial Applications Conference Proceedings, October 1994.","DOI":"10.1117\/12.197328"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"R. Amadio, L. Leth, and B. Thomsen. From a concurrent \u03bb-calculus to the \u03c0-calculus. In Proceedings of FCT'95, 1995. Full version in technical report ECRC-95-18.","DOI":"10.1007\/3-540-60249-6_43"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"A. Bianchi, S. Coluccini, P. Degano, and C. Priami. An efficient verifier of truly concurrent properties. In V. Malyshkin, editor, Proceedings of PaCT'95, LNCS 964, pages 36\u201350. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60222-4_95"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth, and Bent Thomsen. Understanding mobile agents via a non-interleaving semantics for Facile. Technical Report ECRC-96-4, European Computer-Industry Research Centre, 1996.","DOI":"10.1007\/3-540-61739-6_36"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM Transaction on Programming Languages and Systems, pages 36\u201372, 1993.","DOI":"10.1145\/151646.151648"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"P. Degano and C. Priami. Proved trees. In Proceedings of ICALP'92, LNCS 623, pages 629\u2013640. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_110"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"P. Degano and C. Priami. Causality for mobile processes. In Proceedings of ICALP'95, LNCS 944, pages 660\u2013671. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60084-1_113"},{"key":"8_CR8","unstructured":"Felix Gallo. Agent-Tcl: A white paper. Posted to the safe-tcl@cs.utk.edu mailing list, December 1994. Draft document."},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01491213","volume":"18","author":"A. Giacalone","year":"1989","unstructured":"A. Giacalone, P. Mishra, and S. Prasad. Facile: A symmetric integration of concurrent and functional programming. International Journal of Parallel Programming, 18:121\u2013160, 1989.","journal-title":"International Journal of Parallel Programming"},{"key":"8_CR10","unstructured":"A. Giacalone, P. Mishra, and S. Prasad. Operational and algebraic semantics for Facile: A symmetric integration of concurrent and functional programming. In Proceedings ICALP'90, LNCS 443, pages 765\u2013780. Springer-Verlag, 1990."},{"key":"8_CR11","volume-title":"White paper","author":"J. Gosling","year":"1995","unstructured":"James Gosling and Henry McGilton. The Java language environment. White paper, May 1995. Sun Microsystems, 2550 Garcia Avenue, Mountain View, CA 94043, USA. Available at http:\/\/www.java.sun.com\/."},{"issue":"Number3","key":"8_CR12","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1007\/BF01211076","volume":"7","author":"L. Leth","year":"1995","unstructured":"L. Leth and B. Thomsen. Some Facile Chemistry. Formal Aspects of Computing, Volume 7, Number 3, pages 314\u2013328, 1995.","journal-title":"Formal Aspects of Computing"},{"key":"8_CR13","unstructured":"C. Priami. Enhanced Operational Semantics for Concurrency. PhD thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa, March 1996. Available as Tech. Rep. TD-08\/96."},{"key":"8_CR14","unstructured":"J.-P. Talpin. The Calumet Experiment in Facile \u2014 A Model for Group Communication and Interaction Control in Cooperative Applications. Technical Report ECRC-94-26, European Computer-Industry Research Centre, 1994."},{"key":"8_CR15","unstructured":"J.-P. Talpin, P. Marchal, and K.: Ahlers. Calumet \u2014 A Reference Manual. Technical Report ECRC-94-30, European Computer-Industry Research Centre, 1994."},{"key":"8_CR16","unstructured":"B. Thomsen, F. Knabe, L. Leth, and P.-Y. Chevalier. Mobile agents set to work. Communications International, July 1995."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"B. Thomsen, L. Leth, and A. Giacalone. Some Issues in the Semantics of Facile Distributed Programming. In Proceedings of the 1992 REX Workshop on \u201cSemantics: Foundations and Applications\u221d, LNCS 666. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56596-5_47"},{"key":"8_CR18","unstructured":"B. Thomsen, L. Leth., F. Knabe, and P.-Y. Chevalier. Mobile agents. Technical Report ECRC-95-21, European Computer-Industry Research Centre, 1995."},{"key":"8_CR19","unstructured":"B. Thomsen, L. Leth, S. Prasad, T.-M. Kuo, A. Kramer, F. Knabe, and A. Giacalone. Facile Antigua Release Programming Guide. Technical Report ECRC-93-20, European Computer-Industry Research Centre, 1993."},{"key":"8_CR20","unstructured":"James E. White. Telescript technology: The foundation for the electronic market-place. General Magic white paper, 2465 Latham Street, Mountain View, CA 94040, 1994."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61739-6_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:59:49Z","timestamp":1640948389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61739-6_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617396","9783540706748"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-61739-6_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}