{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:13:18Z","timestamp":1725574398810},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540210443"},{"type":"electronic","value":"9783540246343"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-24634-3_5","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T03:57:55Z","timestamp":1294372675000},"page":"20-37","source":"Crossref","is-referenced-by-count":8,"title":["O\u2019Klaim: A\u00a0Coordination Language with Mobile Mixins"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Bono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Betti","family":"Venneri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Ancona, D., Lagorio, G., Zucca, E.: Jam - designing a java extension with mixins. In: ACM Transaction on Programming Languages and Systems (2003) (to appear)","DOI":"10.1145\/937563.937567"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-540-24639-8_2","volume-title":"Scientific Engineering of Distributed Java Applications","author":"L. Bettini","year":"2004","unstructured":"Bettini, L.: A Java package for class and mixin mobility in a distributed setting. In: Guelfi, N., Astesiano, E., Reggio, G. (eds.) FIDJI 2003. LNCS, vol.\u00a02952, pp. 12\u201322. Springer, Heidelberg (2004) (to appear)"},{"key":"5_CR3","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":"5_CR4","doi-asserted-by":"crossref","unstructured":"Bettini, L., Bono, V., De Nicola, R., Ferrari, G., Gorla, D., Loreti, M., Moggi, E., Pugliese, R., Tuosto, E., Venneri, B.: The Klaim Project: Theory and Practice. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, pp. 88\u2013150. Springer, Heidelberg (2003) (to appear)","DOI":"10.1007\/978-3-540-40042-4_4"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Bettini, L., Bono, V., Likavec, S.: A core calculus of mixin-based incomplete objects. In: FOOL, vol.\u00a011 (2004)","DOI":"10.1145\/1028664.1028753"},{"key":"5_CR6","unstructured":"Bettini, L., Bono, V., Venneri, B.: MoMi - A Calculus for Mobile Mixins (manuscript)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Bettini, L., Bono, V., Venneri, B.: Towards Object-Oriented Klaim. In: TOSCA 2001. ENTCS, vol.\u00a062. Elsevier, Amsterdam (2001)","DOI":"10.1016\/S1571-0661(04)00318-4"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/3-540-46000-4_8","volume-title":"Coordination Models and Languages","author":"L. Bettini","year":"2002","unstructured":"Bettini, L., Bono, V., Venneri, B.: Coordinating Mobile Object-Oriented Code. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 56\u201371. Springer, Heidelberg (2002)"},{"key":"5_CR9","unstructured":"Bettini, L., Bono, V., Venneri, B.: Subtyping Mobile Classes and Mixins. In: Proc. of FOOL (2003)"},{"key":"5_CR10","first-page":"110","volume-title":"Proc. of WETICE","author":"L. Bettini","year":"1998","unstructured":"Bettini, L., De Nicola, R., Ferrari, G., Pugliese, R.: Interactive Mobile Agents in X-Klaim. In: Proc. of WETICE, pp. 110\u2013115. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Bettini, L., De Nicola, R., Pugliese, R.: X-Klaim and Klava: Programming Mobile Code. In: TOSCA 2001. ENTCS, vol.\u00a062. Elsevier, Amsterdam (2001)","DOI":"10.1016\/S1571-0661(04)00317-2"},{"issue":"14","key":"5_CR12","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 \u2013 Practice and Experience\u00a032(14), 1365\u20131394 (2002)","journal-title":"Software \u2013 Practice and Experience"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/3-540-48743-3_3","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"V. Bono","year":"1999","unstructured":"Bono, V., Patel, A., Shmatikov, V.: A Core Calculus of Classes and Mixins. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 43\u201366. Springer, Heidelberg (1999)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Bracha, G., Cook, W.: Mixin-based inheritance. In: Proc. OOPSLA, pp. 303\u2013311 (1990)","DOI":"10.1145\/97945.97982"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Castagna, G.: Mobile Objects. In: Proc. of FOOL (2000)","DOI":"10.1007\/3-540-44618-4_36"},{"issue":"1","key":"5_CR16","first-page":"27","volume":"8","author":"L. Cardelli","year":"1995","unstructured":"Cardelli, L.: A Language with Distributed Scope. Computing Systems\u00a08(1), 27\u201359 (1995)","journal-title":"Computing Systems"},{"key":"5_CR17","first-page":"22","volume-title":"Proc. of ICSE","author":"A. Carzaniga","year":"1997","unstructured":"Carzaniga, A., Picco, G.P., Vigna, G.: Designing Distributed Applications with Mobile Code Paradigms. In: Proc. of ICSE, pp. 22\u201333. ACM Press, New York (1997)"},{"issue":"5","key":"5_CR18","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"5_CR19","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0304-3975(99)00232-7","volume":"240","author":"R. Nicola De","year":"2000","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R., Venneri, B.: Types for Access Control. Theoretical Computer Science\u00a0240(1), 215\u2013254 (2000)","journal-title":"Theoretical Computer Science"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1007\/3-540-61604-7_82","volume-title":"CONCUR \u201996: Concurrency Theory","author":"P. Blasio Di","year":"1996","unstructured":"Di Blasio, P., Fisher, K.: A Calculus for Concurrent Objects. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 655\u2013670. Springer, Heidelberg (1996)"},{"key":"5_CR21","series-title":"LNCS","first-page":"42","volume-title":"Proc. of FCT","author":"K. Fisher","year":"1995","unstructured":"Fisher, K., Mitchell, J.C.: A Delegation-based Object Calculus with Subtyping. In: Proc. of FCT. LNCS, vol.\u00a0965, pp. 42\u201361. Springer, Heidelberg (1995)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: Proc. POPL 1998, pp. 171\u2013183 (1998)","DOI":"10.1145\/268946.268961"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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., Levy, J.J., Maranget, L., Remy, D.: A Calculus of Mobile Agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 406\u2013421. Springer, Heidelberg (1996)"},{"issue":"1","key":"5_CR24","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR25","series-title":"ENTCS","volume-title":"Proc. of HLCL","author":"A. Gordon","year":"1998","unstructured":"Gordon, A., Hankin, P.: A Concurrent Object Calculus: Reduction and Typing. In: Proc. of HLCL. ENTCS, vol.\u00a016.3, Elsevier, Amsterdam (1998)"},{"key":"5_CR26","series-title":"LNCS","first-page":"187","volume-title":"Proc. of TPPP","author":"B.C. Pierce","year":"1995","unstructured":"Pierce, B.C., Turner, D.N.: Concurrent Objects in a Process Calculus. In: Proc. of TPPP. LNCS, vol.\u00a0907, pp. 187\u2013215. Springer, Heidelberg (1995)"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Riecke, J.G., Stone, C.: Privacy via Subsumption. Information and Computation\u00a0172, 2\u201328 (2002); 3rd special issue of Theory and Practice of Object-Oriented Systems (TAPOS)","DOI":"10.1006\/inco.2000.2925"},{"key":"#cr-split#-5_CR28.1","doi-asserted-by":"crossref","unstructured":"Thorn, T.: Programming Languages for Mobile Code. ACM Computing Surveys??29(3), 213???239 (1997);","DOI":"10.1145\/262009.262010"},{"key":"#cr-split#-5_CR28.2","unstructured":"Also Technical Report 1083, University of Rennes IRISA"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/3-540-48320-9_38","volume-title":"CONCUR\u201999. Concurrency Theory","author":"N. Yoshida","year":"1999","unstructured":"Yoshida, N., Hennessy, M.: Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract). In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 557\u2013572. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24634-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T17:05:19Z","timestamp":1559927119000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24634-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540210443","9783540246343"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24634-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}