{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:23:22Z","timestamp":1725470602356},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540409274"},{"type":"electronic","value":"9783540409281"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11860990_24","type":"book-chapter","created":{"date-parts":[[2006,9,16]],"date-time":"2006-09-16T03:05:22Z","timestamp":1158375922000},"page":"383-402","source":"Crossref","is-referenced-by-count":4,"title":["A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus"],"prefix":"10.1007","author":[{"given":"Herv\u00e9","family":"Paulino","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Lopes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Horstmann, M., Kirtland, M.: DCOM Architecture. Microsoft (1997)"},{"key":"24_CR2","unstructured":"Object Management Group: The Common Object Request Broker: Architecture and Specification. Object Management Group (2001)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Platt, D.: Introducing Microsoft .NET, 3rd edn. Microsoft Press (2003)","DOI":"10.1007\/978-1-4302-1114-3_1"},{"issue":"7","key":"24_CR4","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/306549.306582","volume":"42","author":"J. Waldo","year":"1999","unstructured":"Waldo, J.: The Jini Architecture for Network-Centric Computing. Commun. ACM\u00a042(7), 76\u201382 (1999)","journal-title":"Commun. ACM"},{"key":"24_CR5","unstructured":"Openwings: Openwings: A Service-Oriented Component Architecture for Self-Forming, Self-Healing, Network-Centric Systems (Rev 2.0) (2001), http:\/\/www.openwings.org"},{"key":"24_CR6","volume-title":"Programming and Deploying Java Mobile Agents with Aglets","author":"D.B. Lange","year":"1998","unstructured":"Lange, D.B., Oshima, M.: Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley, Reading (1998)"},{"key":"24_CR7","unstructured":"Straber, M., Baumann, J., Hohl, F.: Mole - A Java Based Mobile Agent System. In: Muhlhauser, M. (ed.) Special Issues in Object Oriented Programming, pp. 301\u2013308 (1997)"},{"key":"24_CR8","unstructured":"Glass, G.: Overview of Voyager: ObjectSpace\u2019s Product Family for State-of-the-art Distributed Computing. Technical report, CTO ObjectSpace (1999)"},{"key":"24_CR9","unstructured":"Gray, R.S.: Agent Tcl: A Transportable Agent System. In: Proceedings of the CIKM Workshop on Intelligent Information Agents, Fourth International Conference on Information and Knowledge Management, CIKM 1995 (1995)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","first-page":"316","volume-title":"Mobile Agents","author":"H. Peine","year":"1997","unstructured":"Peine, H., Stolpmann, T.: The Architecture of the Ara Platform for Mobile Agents. In: Rothermel, K., Popescu-Zeletin, R. (eds.) MA 1997. LNCS, vol.\u00a01219, pp. 316\u2013323. Springer, Heidelberg (1997)"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BFb0057019","volume-title":"ECOOP \u201991 European Conference on Object-Oriented Programming","author":"K. Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol.\u00a0512, pp. 141\u2013162. Springer, Heidelberg (1991)"},{"issue":"1","key":"24_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes (parts I and II). Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"24_CR13","first-page":"22","volume-title":"ASA\/MA 1999","author":"S. Conchon","year":"1999","unstructured":"Conchon, S., Fessant, F.L.: Jocaml: Mobile Agents for Objective-Caml. In: ASA\/MA 1999, pp. 22\u201329. IEEE Computer Society, Los Alamitos (1999)"},{"key":"24_CR14","series-title":"ENTCS","first-page":"19","volume-title":"Workshop on High Level Programming Languages (HLCL 1998)","author":"V. Vasconcelos","year":"1998","unstructured":"Vasconcelos, V., Lopes, L., Silva, F.: Distribution and Mobility with Lexical Scoping in Process Calculi. In: Workshop on High Level Programming Languages (HLCL 1998). ENTCS, vol.\u00a016(3), pp. 19\u201334. Elsevier Science, Amsterdam (1998)"},{"key":"24_CR15","volume-title":"TOSCA 2001","author":"L. Bettini","year":"2001","unstructured":"Bettini, L., de Nicola, R., Pugliese, R.: X-Klaim and Klava: Programming Mobile Code. In: TOSCA 2001, vol.\u00a062. Elsevier Science, Amsterdam (2001)"},{"issue":"2","key":"24_CR16","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/4434.846193","volume":"8","author":"P.T. Wojciechowski","year":"2000","unstructured":"Wojciechowski, P.T., Sewell, P.: Nomadic Pict: Language and Infrastructure Design for Mobile Agents. IEEE Concurrency\u00a08(2), 42\u201352 (2000)","journal-title":"IEEE Concurrency"},{"key":"24_CR17","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1086365.1086370","volume-title":"ICFP 2005: Proceedings of The 10th ACM SIGPLAN International Conference on Functional Programming","author":"P. Sewell","year":"2005","unstructured":"Sewell, P., Leifer, J.J., Wansbrough, K., Zappa Nardelli, F., Allen-Williams, M., Habouzit, P., Vafeiadis, V.: Acute: High-level Programming Language Design for Distributed Computation. In: ICFP 2005: Proceedings of The 10th ACM SIGPLAN International Conference on Functional Programming, pp. 15\u201326. ACM Press, New York (2005)"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0053559","volume-title":"Programming Languages and Systems","author":"G. Smolka","year":"1998","unstructured":"Smolka, G.: Concurrent Constraint Programming Based on Functional Programming. In: Hankin, C. (ed.) ESOP 1998 and ETAPS 1998. LNCS, vol.\u00a01381, pp. 1\u201311. Springer, Heidelberg (1998)"},{"key":"24_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-45068-8_6","volume-title":"Web Engineering","author":"H. Paulino","year":"2003","unstructured":"Paulino, H., Lopes, L., Silva, F.: Mob: A Scripting Language for Mobile Agents Based on a Process Calculus. In: Cueva Lovelle, J.M., Rodr\u00edguez, B.M.G., Gayo, J.E.L., del Pueto Paule Ruiz, M., Aguilar, L.J. (eds.) ICWE 2003. LNCS, vol.\u00a02722, pp. 40\u201343. Springer, Heidelberg (2003)"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Ravara, A., Matos, A., Vasconcelos, V., Lopes, L.: Lexically Scoped Distribution: What You See Is What You Get. In: FGC: Foundations of Global Computing. Electronic Notes in Theoretical Computer Science, vol.\u00a085(1). Elsevier, Amsterdam (2003)","DOI":"10.1016\/S1571-0661(05)80088-X"},{"key":"24_CR21","unstructured":"TyCO (Typed Concurrent Objects) Programming Language, available at: http:\/\/www.dcc.fc.up.pt\/tyco\/"},{"key":"24_CR22","unstructured":"White, J.E.: Telescript Technology: Scenes from the Electronic Marketplace. General Magic White Paper. General Magic edn. (1995)"},{"key":"24_CR23","unstructured":"Java Remote Method Invocation (Java RMI), http:\/\/java.sun.com\/products\/jdk\/rmi\/"},{"key":"24_CR24","unstructured":"Paulino, H., Lopes, L.: Mob Core Language and Virtual Machine. Technical Report DCC-2005-05, DCC - FC & LIACC, Universidade do Porto (2005), http:\/\/www.dcc.fc.up.pt\/Pubs\/treports.html"},{"key":"24_CR25","unstructured":"Vasconcelos, V., Lopes, L.: A Multi-threaded Assembly Language: Intermediate Language and Virtual Machine (unpublished)"},{"key":"24_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-45145-7_29","volume-title":"Parallel Computing Technologies","author":"H. Paulino","year":"2003","unstructured":"Paulino, H., Marques, P., Lopes, L., Vasconcelos, V., Silva, F.: A Multi-Threaded Asynchronous Language. In: Malyshkin, V.E. (ed.) PaCT 2003. LNCS, vol.\u00a02763, pp. 316\u2013323. Springer, Heidelberg (2003)"},{"key":"24_CR27","doi-asserted-by":"crossref","unstructured":"Schmitt, A., Stefani, J.-B.: The M-calculus: A Higher-Order Distributed Process Calculus. In: Proceedings 30th Annual ACM Symposium on Principles of Programming Languages (POPL) (2003)","DOI":"10.1145\/604131.604136"},{"key":"24_CR28","volume-title":"EATCS Workshop on Foundations of Wide Area Network Computing (FWAN 2002)","author":"F. Germain","year":"2002","unstructured":"Germain, F., Lacoste, M., Stefani, J.-B.: An Abstract Machine for a Higher-Order Distributed Process Calculus. In: EATCS Workshop on Foundations of Wide Area Network Computing (FWAN 2002), vol.\u00a066.3. Elsevier, Amsterdam (2002)"},{"key":"24_CR29","doi-asserted-by":"crossref","first-page":"455","DOI":"10.7551\/mitpress\/5641.003.0022","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"B. Pierce","year":"2000","unstructured":"Pierce, B., Turner, D.: Pict: A Programming Language Based on the Pi-Calculus. In: Proof, Language and Interaction: Essays in Honour of Robin Milner, pp. 455\u2013494. MIT Press, Cambridge (2000)"},{"key":"24_CR30","doi-asserted-by":"crossref","unstructured":"Unyapoth, A.: Nomadic Pi Calculi: Expressing and Verifying Infrastructure for Mobile Computation. Ph.D thesis, University of Cambridge (2001)","DOI":"10.1145\/373243.360214"}],"container-title":["Lecture Notes in Computer Science","Modular Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11860990_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T13:32:38Z","timestamp":1707226358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11860990_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540409274","9783540409281"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/11860990_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}