{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,6]],"date-time":"2024-04-06T02:13:40Z","timestamp":1712369620888},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2005,10,14]],"date-time":"2005-10-14T00:00:00Z","timestamp":1129248000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2005,11]]},"DOI":"10.1007\/s00236-005-0176-0","type":"journal-article","created":{"date-parts":[[2005,10,15]],"date-time":"2005-10-15T01:03:12Z","timestamp":1129338192000},"page":"143-190","source":"Crossref","is-referenced-by-count":8,"title":["MOMI: a calculus for mobile mixins"],"prefix":"10.1007","volume":"42","author":[{"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[]},{"given":"Betti","family":"Venneri","sequence":"additional","affiliation":[]},{"given":"Viviana","family":"Bono","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,10,14]]},"reference":[{"key":"176_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer (1996)","DOI":"10.1007\/978-1-4419-8598-9"},{"issue":"11","key":"176_CR2","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1145\/949343.949316","volume":"38","author":"E. Allen","year":"2003","unstructured":"Allen, E., Bannet, J., Cartwright, R.: A first-class approach to genericity. ACM SIG-PLAN Notices 38(11), 96\u2013114 (2003)","journal-title":"ACM SIG-PLAN Notices"},{"key":"176_CR3","doi-asserted-by":"crossref","unstructured":"Ancona, D., Lagorio, G., Zucca, E.: Jam \u2013 a smooth extension of java with mixins. In Proc. of ECOOP'00, vol. 1850 of LNCS, pp. 145\u2013178. Springer-Verlag (2000)","DOI":"10.1007\/3-540-45102-1_8"},{"issue":"6","key":"176_CR4","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1017\/S0960129502003687","volume":"12","author":"D. Ancona","year":"2001","unstructured":"Ancona, D., Zucca, E.: A theory of mixin modules: Algebraic Laws and Reduction Semantics. Mathematical Structures in Computer Science 12(6), 701\u2013737 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"key":"176_CR5","unstructured":"Bak, L., Bracha, G., Grarup, S., Griesemer, R., Griswold, D., H\u00f6lzle, U.: Mixins in Strongtalk. In Proc. of the \u201cInheritance Workshop\u201d at ECOOP'02 (2002)"},{"key":"176_CR6","doi-asserted-by":"crossref","unstructured":"Benton, N., Cardelli, L., Fournet, C.: Modern Concurrency Abstractions for C\u266f. In Proc. of ECOOP'02, Vol. 2374 of LNCS, pp. 415\u2013440. Springer-Verlag (2002)","DOI":"10.1007\/3-540-47993-7_18"},{"key":"176_CR7","doi-asserted-by":"crossref","unstructured":"Bettini, L.: A Java package for class and mixin mobility in a distributed setting. In Proc. of FIDJI'03, volume 2952 of LNCS, pp. 12\u201322. Springer-Verlag (2003)","DOI":"10.1007\/978-3-540-24639-8_2"},{"key":"176_CR8","unstructured":"Bettini, L.: Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations. PhD thesis, Dipartimento di Matematica, Universit\u00e0 di Siena (2003). Available at http:\/\/music.dsi.unifi.it"},{"key":"176_CR9","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.), Global Computing \u2013 Programming Environments, Languages, Security, and Analysis of Systems, IST\/FET International Workshop GC 2003. Vol. 2874 of LNCS. Springer-Verlag (2003)","DOI":"10.1007\/978-3-540-40042-4_4"},{"key":"176_CR10","doi-asserted-by":"crossref","unstructured":"Bettini, L., Bono, V., Likavec, S.: A Core Calculus of Higher-Order Mixins and Classes. In Post-Proc. of TYPES'03. vol. 3085 of LNCS. Springer-Verlag (2004)","DOI":"10.1145\/967900.968200"},{"key":"176_CR11","doi-asserted-by":"crossref","unstructured":"Bettini, L., Bono, V., Likavec, S.: A Core Calculus of Mixin-Based Incomplete Objects. In FOOL 11 (2004)","DOI":"10.1145\/1028664.1028753"},{"key":"176_CR12","doi-asserted-by":"crossref","unstructured":"Bettini, L., Bono, V., Venneri, B.: Coordinating Mobile Object-Oriented Code. In Proceeding of Coordination Models and Languages (COORDINATION'02), vol. 2315 of LNCS, pp. 56\u201371. Springer-Verlag (2002)","DOI":"10.1007\/3-540-46000-4_8"},{"key":"176_CR13","doi-asserted-by":"crossref","unstructured":"Bettini, L., Bono, V., Venneri, B.: O'Klaim: a coordination language with mobile mixins. In Proc. of Coordination Models and Languages (COORDINATION'04), vol. 2949 of LNCS, pp. 20\u201337. Springer-Verlag (2004)","DOI":"10.1007\/978-3-540-24634-3_5"},{"key":"176_CR14","doi-asserted-by":"crossref","unstructured":"Bettini, L., Bono, V., Venneri, B.: Subtyping-Inheritance Conflicts: The Mobile Mixin Case. In Proceeding of Third IFIP International Conference on Theoretical Computer Science (TCS'04), pp. 451\u2013464. Kluwer Academic Publishers (2004)","DOI":"10.1007\/1-4020-8141-3_35"},{"key":"176_CR15","first-page":"Infrastructure","volume":"Technologies","author":"Bettini","year":"1998","unstructured":"Bettini, L., De Nicola, R., Ferrari, G., Pugliese, R.: Interactive mobile agents in X-Klaim. In Proc. of the 7th Int. IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'98), pp. 110\u2013115. IEEE Computer Society Press (1998)","journal-title":"IEEE Workshops on Enabling"},{"issue":"14","key":"176_CR16","doi-asserted-by":"crossref","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. Soft-ware \u2013 Prac-tice and Experience 32(14), 1365\u20131394 (2002)","journal-title":"Soft-ware \u2013 Prac-tice and Experience"},{"key":"176_CR17","doi-asserted-by":"crossref","unstructured":"Bettini, L., Loreti, M., Venneri, B.: On Multiple Inheritance in Java. In Proc. of Technology of Object-Oriented Languages, Systems and Architectures (TOOLS'02), pp. 1\u201315. Kluwer Academic Publishers (2003)","DOI":"10.1007\/978-1-4615-0413-9_1"},{"key":"176_CR18","doi-asserted-by":"crossref","unstructured":"Bono, V., Patel, A., Shmatikov, V.: A Core Calculus of Classes and Mixins. In Proc. of ECOOP'99, vol. 1628 of LNCS, pp. 43\u201366. Springer-Verlag (1999)","DOI":"10.1007\/3-540-48743-3_3"},{"key":"176_CR19","doi-asserted-by":"crossref","unstructured":"Bracha, G., Cook, W.: Mixin-based inheritance. In Proc. of OOPSLA '90, pp. 303\u2013311 (1990)","DOI":"10.1145\/97945.97982"},{"key":"176_CR20","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Castagna, G.: Mobile Objects. In FOOL 7 (2000)","DOI":"10.1007\/3-540-44618-4_36"},{"issue":"1","key":"176_CR21","first-page":"27","volume":"8","author":"L. Cardelli","year":"1995","unstructured":"Cardelli, L.: A Language with Distributed Scope. Computing Systems 8(1), 27\u201359 (1995)","journal-title":"Computing Systems"},{"issue":"4","key":"176_CR22","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli, L., Wegner, P.: On Understanding Types, Data Abstraction, and Polymorphism. ACM Computing Surveys 17(4), 471\u2013522 (1985)","journal-title":"ACM Computing Surveys"},{"key":"176_CR23","doi-asserted-by":"crossref","unstructured":"Carzaniga, A., Picco, G., Vigna, G.: Designing Distributed Applications with mobile code paradigms. In Proc. of the 19th Int. Conf. on Software Engineering (ICSE '97), pp. 22\u201333. ACM Press (1997)","DOI":"10.1145\/253228.253236"},{"issue":"5","key":"176_CR24","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: a kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering 24(5), 315\u2013330 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"176_CR25","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0304-3975(99)00232-7","volume":"240","author":"R. De Nicola","year":"2000","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R., Venneri, B.: Types for Access Control. Theoretical Computer Science 240(1), 215\u2013254 (2000)","journal-title":"Theoretical Computer Science"},{"key":"176_CR26","doi-asserted-by":"crossref","unstructured":"Di Blasio, P., Fisher, K.: A Calculus for Concurrent Objects. In Proc. of 7th Int. Conf. on Concurrency Theory (CONCUR'96), volume 1119 of LNCS, pp. 655\u2013670. Springer-Verlag (1996)","DOI":"10.1007\/3-540-61604-7_82"},{"key":"176_CR27","doi-asserted-by":"crossref","unstructured":"Findler, R., Flatt, M.: Modular object-oriented programming with units and mixins. In Proc. of ICFP '98, pp. 94\u2013104, (1998)","DOI":"10.1145\/289423.289432"},{"key":"176_CR28","doi-asserted-by":"crossref","unstructured":"Fisher, K., Mitchell, J.C.: A Delegation-based Object Calculus with Subtyping. In Proc. of FCT'95, vol. 965 of LNCS, pp. 42\u201361. Springer-Verlag (1995)","DOI":"10.1007\/3-540-60249-6_40"},{"key":"176_CR29","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In Proc. of POPL '98, pp. 171\u2013183. ACM Press (1998)","DOI":"10.1145\/268946.268961"},{"key":"176_CR30","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gonthier, G., Levy, J.J., Maranget, L., Remy, D.: A Calculus of Mobile Agents. In Proc. of 7th Int. Conf. on Concurrency Theory (CONCUR'96), vol. 1119 of LNCS, pp. 406\u2013421. Springer-Verlag (1996)","DOI":"10.1007\/3-540-61604-7_67"},{"key":"176_CR31","doi-asserted-by":"crossref","unstructured":"Fournet, C., Laneve, C., Maranget, L., R\u00e9my, D.: Inheritance in the Join Calculus. In Proc. of Foundations of Software Technology and Theoretical Computer Science (FSTTCS'00), vol. 1974 of LNCS, pp. 397\u2013408. Springer-Verlag (2000)","DOI":"10.1007\/3-540-44450-5_32"},{"key":"176_CR32","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1995)"},{"issue":"1","key":"176_CR33","doi-asserted-by":"crossref","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 7(1), 80\u2013112 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"176_CR34","doi-asserted-by":"crossref","unstructured":"Gordon, A., Hankin, P.: A Concurrent Object Calculus: Reduction and Typing. In Proc. of High-Level Concurrent Languages (HLCL'98), vol. 16.3 of ENTCS. Elsevier (1998)","DOI":"10.1016\/S1571-0661(04)00145-8"},{"key":"176_CR35","unstructured":"Harrison, C., Chess, D., Kershenbaum, A.: Mobile agents: Are they a good idea? Research Report 19887, IBM Research Division (1994)"},{"key":"176_CR36","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Riely, J.: Type-Safe Execution of Mobile Agents in Anonymous Networks. In: Vitek, J., Jensen, C. (eds.), Secure Internet Programming: Security Issues for Distributed and Mobile Objects, vol. 1603 of LNCS, pp. 95\u2013115. Springer-Verlag (1999)","DOI":"10.1007\/3-540-48749-2_5"},{"key":"176_CR37","doi-asserted-by":"crossref","unstructured":"Hirschowitz, T., Leroy, X.: Mixin modules in a call-by-value setting. In Proc. of ESOP'00, vol. 2305 of LNCS, pp. 6\u201320. Springer-Verlag (2002)","DOI":"10.1007\/3-540-45927-8_2"},{"key":"176_CR38","unstructured":"Knabe, F.: An overview of mobile agent programming. In Proceedings of the 5th workshop on Analysis and Verification of Multiple-Agent Languages (LOMAPS'96), vol. 1192 of LNCS. Springer-Verlag (1996)"},{"key":"176_CR39","unstructured":"Laneve, C.: Inheritance in Concurrent Objects. In Bowman, H., Derrick, J. (eds.) Formal Methods for Distributed Processing, An Object Oriented Approach. Cambridge University Press (2001)"},{"key":"176_CR40","doi-asserted-by":"crossref","unstructured":"Matsuoka, S., Yonezawa, A.: Analysis of inheritance anomaly in object-oriented concurrent programming languages. In Agha, G., Wegner, P., Yonezawa, A. (eds.), Research Directions in Concurrent Object-Oriented Programming, pp. 107\u2013150. MIT Press (1993)","DOI":"10.7551\/mitpress\/2087.003.0007"},{"key":"176_CR41","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall (1989)"},{"key":"176_CR42","unstructured":"Object Management Group: Corba: Architecture and specification. http:\/\/www.omg.org (1998)"},{"key":"176_CR43","doi-asserted-by":"crossref","unstructured":"Pierce, B., Sangiorgi, D.: Typing and Subtyping for Mobile Processes. In Proceedings of 8th IEEE Logics in Computer Science (LICS'93), pp. 376\u2013385. IEEE (1993)","DOI":"10.1109\/LICS.1993.287570"},{"key":"176_CR44","unstructured":"Pierce, B.C.: Types and Programming Languages. The MIT Press (2002)"},{"key":"176_CR45","doi-asserted-by":"crossref","unstructured":"Pierce, B.C. Turner, D.N.: Concurrent Objects in a Process Calculus. In Proc. of Theory and Practice of Parallel Programming (TPPP 94), vol. 907 of LNCS, pp. 187\u2013215. Springer (1995)","DOI":"10.1007\/BFb0026570"},{"key":"176_CR46","doi-asserted-by":"crossref","unstructured":"Riecke, J., Stone, C.: Privacy via Subsumption. Information and Computation 172, 2\u201328, (2002). 3rd special issue of Theory and Practice of Object-Oriented Systems (TAPOS)","DOI":"10.1006\/inco.2000.2925"},{"key":"176_CR47","doi-asserted-by":"crossref","unstructured":"Smaragdakis, Y., Batory, D.: Implementing layered designs with mixin layers. In Proc. of ECOOP '98, pp. 550\u2013570 (1998)","DOI":"10.1007\/BFb0054107"},{"key":"176_CR48","unstructured":"Sun microsystems: RMI, Remote Method Invocation. http:\/\/java.sun.com\/-products\/-jdk\/-rmi"},{"issue":"3","key":"176_CR49","doi-asserted-by":"crossref","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 29(3), 213\u2013239 (1997)","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"176_CR50","first-page":"1","volume":"3","author":"M. Van Limberghen","year":"1996","unstructured":"Van Limberghen, M., Mens, T.: Encapsulation and composition as orthogonal operators on mixins: a solution to multiple inheritance problems. Object Oriented Systems 3(1), 1\u201330 (1996)","journal-title":"Object Oriented Systems"},{"key":"176_CR51","doi-asserted-by":"crossref","unstructured":"VanHilst, M., Notkin, D.: Using role components to implement collaboration-based designs. In Proc. of OOPSLA '96, pp. 359\u2013369. ACM Press (1996)","DOI":"10.1145\/236337.236375"},{"key":"176_CR52","unstructured":"White, J.E.: Mobile Agents. In Bradshaw, J. (ed.), Software Agents. AAAI Press and MIT Press (1996)"},{"key":"176_CR53","doi-asserted-by":"crossref","unstructured":"Yoshida, N., Hennessy, M.: Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract). In Proc. of 10th Int. Conf. on Concurrency Theory (CONCUR'99), Vol. 1664 of LNCS, pp. 557\u2013572. Springer-Verlag (1999)","DOI":"10.1007\/3-540-48320-9_38"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-005-0176-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-005-0176-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-005-0176-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T00:25:37Z","timestamp":1706660737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-005-0176-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10,14]]},"references-count":53,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2005,11]]}},"alternative-id":["176"],"URL":"https:\/\/doi.org\/10.1007\/s00236-005-0176-0","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,10,14]]}}}