{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T15:10:29Z","timestamp":1738249829521,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540695004"},{"type":"electronic","value":"9783540695011"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69501-1_29","type":"book-chapter","created":{"date-parts":[[2008,6,2]],"date-time":"2008-06-02T07:20:45Z","timestamp":1212391245000},"page":"269-281","source":"Crossref","is-referenced-by-count":1,"title":["SuMo: A Framework for Prototyping Distributed and Mobile Software"],"prefix":"10.1007","author":[{"given":"Herv\u00e9","family":"Paulino","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/3-540-63165-8_203","volume-title":"Automata, Languages and Programming","author":"J. Riely","year":"1997","unstructured":"Riely, J., Hennessy, M.: Distributed Processes and Location Failures. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol.\u00a01256, pp. 471\u2013481. Springer, Heidelberg (1997)"},{"key":"29_CR2","doi-asserted-by":"crossref","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). Electronic Notes in Theoretical Computer Science, vol.\u00a016(3), pp. 19\u201334. Elsevier Science (1998)","DOI":"10.1016\/S1571-0661(04)00142-2"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Conchon, S., Fessant, F.L.: Jocaml: Mobile Agents for Objective-Caml. In: ASA\/MA 1999, pp. 22\u201329. IEEE Computer Society (1999)","DOI":"10.1109\/ASAMA.1999.805390"},{"key":"29_CR5","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":"29_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR \u201996: Concurrency Theory","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G., L\u00e9vy, J.J., Maranget, L., R\u00e9my, D.: A Calculus of Mobile Agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 406\u2013421. Springer, Heidelberg (1996)"},{"key":"29_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-3-540-31794-4_10","volume-title":"Global Computing","author":"L. Bettini","year":"2005","unstructured":"Bettini, L., et al.: A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol.\u00a03267, pp. 179\u2013207. Springer, Heidelberg (2005)"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Paulino, H.: Reliable Communication in the Presence of Agent Mobility. In: Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007). IEEE Computer Society (2007) (to appear in July 2007)","DOI":"10.1109\/ISCC.2007.4381559"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Boudol, G.: A Generic Membrane Model. In: Second Global Computing Workshop (2004)","DOI":"10.1007\/978-3-540-31794-4_11"},{"key":"29_CR10","unstructured":"Lopes, L., Silva, F., Figueira, A., Vasconcelos, V.: DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In: The 5th Mobile Object Systems Workshop (MOS 1999) (1999)"},{"key":"29_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"29_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11860990_24","volume-title":"Modular Programming Languages","author":"H. Paulino","year":"2006","unstructured":"Paulino, H., Lopes, L.: A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus. In: Lightfoot, D.E., Szyperski, C.A. (eds.) JMLC 2006. LNCS, vol.\u00a04228, pp. 383\u2013402. Springer, Heidelberg (2006)"},{"issue":"1","key":"29_CR13","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":"29_CR14","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)"},{"key":"29_CR15","unstructured":"Martins, F., Salvador, L., Vasconcelos, V., Lopes, L.: MiKO: Mikado Koncurrent Objects. Technical Report 05081, Dagstuhl Seminar (2005)"},{"key":"29_CR16","unstructured":"TyCO: Typed Concurrent Objects (2003), http:\/\/www.ncc.up.pt\/tyco\/"}],"container-title":["Lecture Notes in Computer Science","Algorithms and Architectures for Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69501-1_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T14:38:52Z","timestamp":1738247932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69501-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540695004","9783540695011"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69501-1_29","relation":{},"subject":[]}}