{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:18Z","timestamp":1762458798047},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540241010"},{"type":"electronic","value":"9783540317944"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/978-3-540-31794-4_10","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T00:11:12Z","timestamp":1267402272000},"page":"179-207","source":"Crossref","is-referenced-by-count":5,"title":["A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[]},{"given":"Daniele","family":"Falassi","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Lacoste","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds","family":"Lopes","sequence":"additional","affiliation":[]},{"given":"Lic\u00ednio","family":"Oliveira","sequence":"additional","affiliation":[]},{"given":"Herv\u00e9","family":"Paulino","sequence":"additional","affiliation":[]},{"given":"Vasco T.","family":"Vasconcelos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Acharya, A., Ranganathan, M., Saltz, J.: Sumatra: A Language for Resource-aware Mobile Programs. In: Vitek, Tschudin (eds.) [35], pp. 111\u2013130","DOI":"10.1007\/3-540-62852-5_10"},{"key":"10_CR2","unstructured":"Bettini, L.: Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations. PhD thesis, Dip.di Matematica, Universit\u00e0 di Siena (2003), Available at: http:\/\/music.dsi.unifi.it"},{"key":"10_CR3","unstructured":"Bettini, L., Boreale, M., De Nicola, R., Lacoste, M., Vasconcelos, V.: Analysis of Distribution Structures: State of the Art. MIKADO Global Computing Project Deliverable D3.1.1 (2002)"},{"key":"10_CR4","series-title":"ENTCS","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: Lenisa, M., Miculan, M. (eds.) TOSCA 2001. ENTCS, vol.\u00a062. Elsevier, Amsterdam (2001)"},{"issue":"14","key":"10_CR5","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1002\/spe.486","volume":"32","author":"L. Bettini","year":"2002","unstructured":"Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java Package for Distributed and Mobile Applications. Software - Practice and Experience\u00a032(14), 1365\u20131394 (2002)","journal-title":"Software - Practice and Experience"},{"key":"10_CR6","unstructured":"Boudol, G., Castellani, I., Germain, F., Lacoste, M.: Models of Distribution and Mobility: State of the Art. MIKADO Global Computing Project Deliverable D1.1.1 (2002)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/BFb0057663","volume-title":"Mobile Agents","author":"G. Cabri","year":"1998","unstructured":"Cabri, G., Leonardi, L., Zambonelli, F.: Reactive Tuple Spaces for Mobile Agent Coordination. In: Rothermel, K., Hohl, F. (eds.) MA 1998. LNCS, vol.\u00a01477, pp. 237\u2013248. Springer, Heidelberg (1998)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Ciancarini, P., Rossi, D.: Jada - Coordination and Communication for Java Agents. In: Vitek, Tschudin (eds.) [35], pp. 213\u2013228","DOI":"10.1007\/3-540-62852-5_16"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Cugola, G., Ghezzi, C., Picco, G., Vigna, G.: Analyzing Mobile Code Languages. In: Vitek, Tschudin (eds.) [35]","DOI":"10.1007\/3-540-62852-5_9"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Dumant, B., Horn, F., Dang Tran, F., Stefani, J.-B.: Jonathan: an Open Distributed Processing Environment in Java. In: Proceedings MIDDLEWARE 1998 (1998)","DOI":"10.1007\/978-1-4471-1283-9_11"},{"key":"10_CR11","unstructured":"ExoLab Group. The OpenORB project (2002), Software available for download at: http:\/\/openorb.exolab.org\/"},{"key":"10_CR12","unstructured":"Fournet, C., Maranget, L.: The Join-Calculus Language (1997), Software and documentation available from: http:\/\/join.inria.fr\/"},{"key":"10_CR13","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"10_CR14","unstructured":"Harrison, C., Chess, D., Kershenbaum, A.: Mobile agents: Are they a good idea? Research Report 19887, IBM Research Division (1994)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Hayton, R., Herbert, A., Donaldson, D.: Flexinet: a Flexible Component Oriented Middleware System. In: Proceedings ACM SIGOPS European Workshop (1998)","DOI":"10.1145\/319195.319199"},{"key":"10_CR16","first-page":"3","volume-title":"HLCL 1998: High-Level Concurrent Languages, Nice, France, September 12, 1998","author":"M. Hennessy","year":"1998","unstructured":"Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. In: Nestmann, U., Pierce, B.C. (eds.) HLCL 1998: High-Level Concurrent Languages, Nice, France, September 12, 1998, vol.\u00a016.3, pp. 3\u201317. Elsevier Science Publishers, Amsterdam (1998)"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/32.67579","volume":"17","author":"N. Huntchinson","year":"1991","unstructured":"Huntchinson, N., Peterson, L.: The x-kernel: an Architecture for Implementing Network Protocols. IEEE Transactions on Software Engineering\u00a017(1), 64\u201376 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR18","unstructured":"Klefstad, R., Schmidt, D., O\u2019Ryan, C.: The Design of a Real-time CORBA ORB using Real-time Java. In: Proceedings ISORC 2002 (2002)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62503-8_5","volume-title":"Analysis and Verification of Multiple-Agent Languages","author":"F. Knabe","year":"1997","unstructured":"Knabe, F.: An overview of mobile agent programming. In: Dam, M. (ed.) LOMAPS-WS 1996. LNCS, vol.\u00a01192. Springer, Heidelberg (1997)"},{"key":"10_CR20","unstructured":"Krakowiak, S.: The Jonathan Tutorial: Overview, Binding, Communication, Configuration and Resource Frameworks. ObjectWeb Consortium (2002), Available electronically at: http:\/\/www.objectweb.org\/jonathan\/doc\/tutorial\/index.html"},{"key":"10_CR21","unstructured":"Lacoste, M.: Building Reliable Distributed Infrastructures Revisited: a Case Study. In: International DOA Workshop on Foundations of Middleware Technologies (WFoMT 2002) (2002)"},{"key":"10_CR22","unstructured":"Lacoste, M.: IMC: Flexible Communication Support for Implementing Mobile Process Calculi. Technical report, France Telecom R&D (2003)"},{"key":"10_CR23","volume-title":"Programming and Deploying Java Mobile Agents with Aglets","author":"D. Lange","year":"1998","unstructured":"Lange, D., Oshima, M.: Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley, Reading (1998)"},{"key":"10_CR24","unstructured":"Le Fessant, F.: The JoCaml System Prototype (1998), Software and documentation available from: http:\/\/join.inria.fr\/jocaml"},{"key":"10_CR25","first-page":"352","volume-title":"Proc. 27th ACM Symposium on Principles of Programming Languages (POPL 2000)","author":"F. Levi","year":"2000","unstructured":"Levi, F., Sangiorgi, D.: Controlling Interference in Ambients. In: Proc. 27th ACM Symposium on Principles of Programming Languages (POPL 2000), pp. 352\u2013364. ACM Press, New York (2000)"},{"key":"10_CR26","unstructured":"Lopes, L.: On the Design and Implementation of a Virtual Machine for Process Calculi. PhD thesis, University of Porto (1999)"},{"issue":"1","key":"10_CR27","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, J.: A Calculus of Mobile Processes, I and II. Information and Computation\u00a0100(1), 1\u201340, 41\u201377 (1992)","journal-title":"Information and Computation"},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/3-540-45559-0_19","volume-title":"Middleware 2000","author":"C. O\u2019Ryan","year":"2000","unstructured":"O\u2019Ryan, C., Kuhns, F., Schmidt, D., Othman, O., Parsons, J.: The Design and Performance of a Pluggable Protocols Framework for Real-time Distributed Object Computing Middleware. In: Coulson, G., Sventek, J. (eds.) Middleware 2000. LNCS, vol.\u00a01795, p. 372. Springer, Heidelberg (2000)"},{"key":"10_CR29","unstructured":"Park, A., Reichl, P.: Personal Disconnected Operations with Mobile Agents. In: Proc. of 3rd Workshop on Personal Wireless Communications, PWC 1998 (1998)"},{"key":"10_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-62803-7_23","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. 50\u201361. Springer, Heidelberg (1997)"},{"key":"10_CR31","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1145\/302405.302659","volume-title":"Proc. of the 21st Int. Conference on Software Engineering (ICSE 1999)","author":"G. Picco","year":"1999","unstructured":"Picco, G., Murphy, A., Roman, G.-C.: Lime: Linda Meets Mobility. In: Garlan, D. (ed.) Proc. of the 21st Int. Conference on Software Engineering (ICSE 1999), pp. 368\u2013377. ACM Press, New York (1999)"},{"key":"10_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/3-540-48224-5_34","volume-title":"Automata, Languages and Programming","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Valente, A.: A Distributed Abstract Machine for Safe Ambients. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 408\u2013420. Springer, Heidelberg (2001)"},{"issue":"3","key":"10_CR33","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/262009.262010","volume":"29","author":"T. Thorn","year":"1997","unstructured":"Thorn, T.: Programming Languages for Mobile Code. ACM Computing Surveys\u00a029(3), 213\u2013239 (1997)","journal-title":"ACM Computing Surveys"},{"key":"10_CR34","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), vol.\u00a016(3), pp. 19\u201334. Elsevier Science, Amsterdam (1998)"},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"Vitek, J., Tschudin, C. (eds.): Mobile Object Systems - Towards the Programmable Internet. LNCS, vol.\u00a01222. Springer, Heidelberg (1997)","DOI":"10.1007\/3-540-62852-5"},{"key":"10_CR36","unstructured":"White, J.E.: Mobile Agents. In: Bradshaw, J. (ed.) Software Agents. AAAI Press and MIT Press (1996)"}],"container-title":["Lecture Notes in Computer Science","Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31794-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,24]],"date-time":"2021-10-24T04:57:00Z","timestamp":1635051420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31794-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540241010","9783540317944"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31794-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}