{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:24:40Z","timestamp":1725549880823},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291312"},{"type":"electronic","value":"9783540319399"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11561163_12","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:54:31Z","timestamp":1127832871000},"page":"274-295","source":"Crossref","is-referenced-by-count":3,"title":["A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects"],"prefix":"10.1007","author":[{"given":"Einar Broch","family":"Johnsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Owe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New York (1996)"},{"key":"12_CR2","first-page":"161","volume-title":"Proc. of the Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)","author":"P. America","year":"1990","unstructured":"America, P., van der Linden, F.: A parallel object-oriented language with inheritance and subtyping. In: Meyrowitz, N. (ed.) Proc. of the Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), October 1990, pp. 161\u2013168. ACM Press, New York (1990)"},{"issue":"6","key":"12_CR3","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1145\/236114.236118","volume":"18","author":"I. Attali","year":"1996","unstructured":"Attali, I., Caromel, D., Ehmety, S.O.: A natural semantics for Eiffel dynamic binding. ACM Transactions on Programming Languages and Systems\u00a018(6), 711\u2013729 (1996)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1145\/97945.97982","volume-title":"Proc. of the Conf. on Object-Oriented Programming: Systems, Languages, and Applications \/ Eur. Conf. on Object-Oriented Programming","author":"G. Bracha","year":"1990","unstructured":"Bracha, G., Cook, W.: Mixin-based inheritance. In: Meyrowitz, N. (ed.) Proc. of the Conf. on Object-Oriented Programming: Systems, Languages, and Applications \/ Eur. Conf. on Object-Oriented Programming, pp. 303\u2013311. ACM Press, New York (1990)"},{"issue":"2","key":"12_CR5","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/641888.641891","volume":"25","author":"K.B. Bruce","year":"2003","unstructured":"Bruce, K.B., Schuett, A., van Gent, R., Fiech, A.: PolyTOIL: A type-safe polymorphic object-oriented language. ACM Transactions on Programming Languages and Systems\u00a025(2), 225\u2013290 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2-3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"Cardelli, L.: A semantics of multiple inheritance. Information and Computation\u00a076(2-3), 138\u2013164 (1988)","journal-title":"Information and Computation"},{"issue":"3","key":"12_CR7","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF01806106","volume":"4","author":"C. Chambers","year":"1991","unstructured":"Chambers, C., Ungar, D., Chang, B.-W., H\u00f6lzle, U.: Parents are shared parts of objects: Inheritance and encapsulation in SELF. Lisp and Symb. Computation\u00a04(3), 207\u2013222 (1991)","journal-title":"Lisp and Symb. Computation"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science\u00a0285, 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"12_CR9","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1006\/inco.1994.1090","volume":"114","author":"W. Cook","year":"1994","unstructured":"Cook, W., Palsberg, J.: A denotational semantics of inheritance and its correctness. Information and Computation\u00a0114(2), 329\u2013350 (1994)","journal-title":"Information and Computation"},{"key":"12_CR10","first-page":"125","volume-title":"17th Symp. on Principles of Programming Languages (POPL 1990)","author":"W.R. Cook","year":"1990","unstructured":"Cook, W.R., Hill, W.L., Canning, P.S.: Inheritance is not subtyping. In: 17th Symp. on Principles of Programming Languages (POPL 1990), January 1990, pp. 125\u2013135. ACM Press, New York (1990)"},{"key":"#cr-split#-12_CR11.1","unstructured":"Dahl, O.-J., Nygaard, K.: Class and subclass declarations. In: Buxton, J. (ed.) Simulation Programming Languages, pp. 158???174. North-Holland, Amsterdam (1968);"},{"key":"#cr-split#-12_CR11.2","unstructured":"Reprinted in Broy, M., Denert, E. (eds.): Software Pioneers ??? Contributions to Software Engineering. Springer, Heidelberg (2002)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-47891-4_15","volume-title":"ECOOP \u201987 European Conference on Object-Oriented Programming","author":"L.G. Demichiel","year":"1987","unstructured":"Demichiel, L.G., Gabriel, R.P.: The common lisp object system: An overview. In: B\u00e9zivin, J., Hullot, J.-M., Lieberman, H., Cointe, P. (eds.) ECOOP 1987. LNCS, vol.\u00a0276, pp. 151\u2013170. Springer, Heidelberg (1987)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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., Fischer, K.: A calculus for concurrent objects. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 655\u2013670. Springer, Heidelberg (1996)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-45499-3_33","volume-title":"Algebraic Methodology and Software Technology","author":"C. Fischer","year":"2000","unstructured":"Fischer, C., Wehrheim, H.: Behavioural subtyping relations for object-oriented formalisms. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 469\u2013483. Springer, Heidelberg (2000)"},{"issue":"1-2","key":"12_CR15","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/S1567-8326(03)00040-7","volume":"57","author":"C. Fournet","year":"2003","unstructured":"Fournet, C., Laneve, C., Maranget, L., R\u00e9my, D.: Inheritance in the join calculus. Journal of Logic and Algebraic Programming\u00a057(1-2), 23\u201369 (2003)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"12_CR16","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":"12_CR17","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-1-4757-6541-0_1","volume-title":"Software Engineering with OBJ: Algebraic Specification in Action","author":"J.A. Goguen","year":"2000","unstructured":"Goguen, J.A., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ. In: Goguen, J.A., Malcolm, G. (eds.) Software Engineering with OBJ: Algebraic Specification in Action, pp. 3\u2013167. Kluwer, Dordrecht (2000)"},{"key":"12_CR18","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"High-Level Concurrent Languages (HLCL 1998)","author":"A.D. Gordon","year":"1998","unstructured":"Gordon, A.D., Hankin, P.D.: A concurrent object calculus: Reduction and typing. In: Nestmann, U., Pierce, B.C. (eds.) High-Level Concurrent Languages (HLCL 1998). Electronic Notes in Theoretical Computer Science, vol.\u00a016(3). Elsevier, Amsterdam (1998)"},{"key":"12_CR19","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-0-387-35496-5_5","volume-title":"Proc.\u00a05th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002)","author":"E.B. Johnsen","year":"2002","unstructured":"Johnsen, E.B., Owe, O.: A compositional formalism for object viewpoints. In: Jacobs, B., Rensink, A. (eds.) Proc.\u00a05th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 2002, pp. 45\u201360. Kluwer, Dordrecht (2002)"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1109\/SEFM.2004.1347520","volume-title":"Proc. 2nd Intl. Conf. on Software Engineering and Formal Methods (SEFM 2004)","author":"E.B. Johnsen","year":"2004","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. In: Proc. 2nd Intl. Conf. on Software Engineering and Formal Methods (SEFM 2004), September 2004, pp. 188\u2013197. IEEE Press, Los Alamitos (2004)"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-39993-3_9","volume-title":"From Object-Orientation to Formal Methods","author":"E.B. Johnsen","year":"2004","unstructured":"Johnsen, E.B., Owe, O.: Object-oriented specification and open distributed systems. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) From Object-Orientation to Formal Methods. LNCS, vol.\u00a02635, pp. 137\u2013164. Springer, Heidelberg (2004)"},{"key":"12_CR22","volume-title":"Proc. 38th Hawaii Intl. Conf. on System Sciences (HICSS 2005)","author":"E.B. Johnsen","year":"2005","unstructured":"Johnsen, E.B., Owe, O.: Inheritance in the presence of asynchronous method calls. In: Proc. 38th Hawaii Intl. Conf. on System Sciences (HICSS 2005), January 2005. IEEE Press, Los Alamitos (2005)"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/11494881_2","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"E.B. Johnsen","year":"2005","unstructured":"Johnsen, E.B., Owe, O., Simplot-Ryl, I.: A dynamic class construct for asynchronous concurrent objects. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 15\u201330. Springer, Heidelberg (2005)"},{"key":"12_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-45910-3_6","volume-title":"ECOOP \u201988 European Conference on Object-Oriented Programming","author":"J.L. Knudsen","year":"1988","unstructured":"Knudsen, J.L.: Name collision in multiple classification hierarchies. In: Gjessing, S., Nygaard, K. (eds.) ECOOP 1988. LNCS, vol.\u00a0322, pp. 93\u2013109. Springer, Heidelberg (1988)"},{"issue":"2","key":"12_CR25","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/BF01934377","volume":"25","author":"S. Krogdahl","year":"1985","unstructured":"Krogdahl, S.: Multiple inheritance in Simula-like languages. BIT\u00a025(2), 318\u2013326 (1985)","journal-title":"BIT"},{"key":"12_CR26","first-page":"326","volume-title":"Formal methods for distributed processing \u2013 a survey of object-oriented approaches","author":"C. Laneve","year":"2001","unstructured":"Laneve, C.: Inheritance in concurrent objects. In: Bowman, H., Derrick, J. (eds.) Formal methods for distributed processing \u2013 a survey of object-oriented approaches, pp. 326\u2013353. Cambridge University Press, Cambridge (2001)"},{"issue":"6","key":"12_CR27","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B.H. Liskov","year":"1994","unstructured":"Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR28","doi-asserted-by":"crossref","first-page":"107","DOI":"10.7551\/mitpress\/2087.003.0007","volume-title":"Research Directions in Concurrent Object-Oriented Programming","author":"S. Matsuoka","year":"1993","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, Cambridge (1993)"},{"key":"12_CR29","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096, 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"12_CR30","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-25984-8_1","volume-title":"Automated Reasoning","author":"J. Meseguer","year":"2004","unstructured":"Meseguer, J., Ro\u015fu, G.: Rewriting logic semantics: From language specifications to formal analysis tools. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097, pp. 1\u201344. Springer, Heidelberg (2004)"},{"key":"12_CR31","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice Hall, New Jersy (1997)"},{"key":"12_CR32","first-page":"1267","volume-title":"Proc. of the Symp. on Applied Computing","author":"G. Milicia","year":"2004","unstructured":"Milicia, G., Sassone, V.: The inheritance anomaly: ten years after. In: Proc. of the Symp. on Applied Computing, pp. 1267\u20131274. ACM Press, New York (2004)"},{"key":"12_CR33","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1016\/0169-7552(94)00032-O","volume":"27","author":"E. Najm","year":"1995","unstructured":"Najm, E., Stefani, J.-B.: A formal semantics for the ODP computational model. Computer Networks and ISDN Systems\u00a027, 1305\u20131329 (1995)","journal-title":"Computer Networks and ISDN Systems"},{"key":"12_CR34","series-title":"Lecture Notes in Computer Science","first-page":"248","volume-title":"ECOOP \u201996 - Object-Oriented Programming","author":"J.G. Rossie Jr.","year":"1996","unstructured":"Rossie Jr., J.G., Friedman, D.P., Wand, M.: Modeling subobject-based inheritance. In: Cointe, P. (ed.) ECOOP 1996. LNCS, vol.\u00a01098, pp. 248\u2013274. Springer, Heidelberg (1996)"},{"key":"12_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-45070-2_12","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"N. Sch\u00e4rli","year":"2003","unstructured":"Sch\u00e4rli, N., Ducasse, S., Nierstrasz, O., Black, A.P.: Traits: Composable units of behaviour. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 248\u2013274. Springer, Heidelberg (2003)"},{"key":"12_CR36","first-page":"165","volume-title":"Research Directions in Object-Oriented Programming","author":"A. Snyder","year":"1987","unstructured":"Snyder, A.: Inheritance and the development of encapsulated software systems. In: Shriver, B., Wegner, P. (eds.) Research Directions in Object-Oriented Programming, pp. 165\u2013188. MIT Press, Cambridge (1987)"},{"key":"12_CR37","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1109\/ICSR.1998.685745","volume-title":"Proc.\u00a0Fifth Intl. Conf. on Software Reuse (ICSR5)","author":"N. Soundarajan","year":"1998","unstructured":"Soundarajan, N., Fridella, S.: Inheritance: From code reuse to reasoning reuse. In: Devanbu, P., Poulin, J. (eds.) Proc.\u00a0Fifth Intl. Conf. on Software Reuse (ICSR5), pp. 206\u2013215. IEEE Press, Los Alamitos (1998)"},{"issue":"4","key":"12_CR38","first-page":"367","volume":"2","author":"B. Stroustrup","year":"1989","unstructured":"Stroustrup, B.: Multiple inheritance for C++. Computing Systems\u00a02(4), 367\u2013395 (1989)","journal-title":"Computing Systems"},{"issue":"1","key":"12_CR39","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0164-1212(00)00061-3","volume":"55","author":"E. Tempero","year":"2000","unstructured":"Tempero, E., Biddle, R.: Simulating multiple inheritance in Java. The Journal of Systems and Software\u00a055(1), 87\u2013100 (2000)","journal-title":"The Journal of Systems and Software"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11561163_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T10:42:26Z","timestamp":1706611346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11561163_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291312","9783540319399"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/11561163_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}