{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:40Z","timestamp":1761597040917},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-47910-4_13","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:13:47Z","timestamp":1187266427000},"page":"220-246","source":"Crossref","is-referenced-by-count":36,"title":["Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Meseguer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"G. Agha. Actors. MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"13_CR2","unstructured":"G. Agha and C. Hewitt. Concurrent programming using actors. In A. Yonezawa and M. Tokoro, editors, Object-Oriented Concurrent Programming, pages 37\u201353. MIT Press, 1988."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"H. Aida, J. Goguen, S. Leinwand, P. Lincoln, J. Meseguer, B. Taheri, and T. Winkler. Simulation and performance estimation for the rewrite rule machine. In Proceedings of the Fourth Symposium on the Frontiers of Massively Parallel Computation, pages 336\u2013344. IEEE, 1992.","DOI":"10.1109\/FMPC.1992.234941"},{"key":"13_CR4","series-title":"Lect Notes Comput Sci","first-page":"320","volume-title":"Conditional and Typed Rewriting Systems, Montreal, Canada, June 1990","author":"H. Aida","year":"1991","unstructured":"Hitoshi Aida, Joseph Goguen, and Jos\u00e9 Meseguer. Compiling concurrent rewriting onto the rewrite rule machine. In S. Kaplan and M. Okada, editors, Conditional and Typed Rewriting Systems, Montreal, Canada, June 1990, pages 320\u2013332. Springer LNCS 516, 1991."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Hitoshi Aida, Sany Leinwand, and Jos\u00e9 Meseguer. Architectural design of the rewrite rule machine ensemble. In J. Delgado-Frias and W.R. Moore, editors, VLSI for Artificial Intelligence and Neural Networks, pages 11\u201322. Plenum Publ. Co., 1991. Proceedings of an International Workshop held in Oxford, England, September 1990.","DOI":"10.1007\/978-1-4615-3752-6_2"},{"key":"13_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/3-540-47891-4_22","volume-title":"Proc. ECOOP\u201987","author":"P. America","year":"1987","unstructured":"Pierre America. Synchronizing actions. In Proc. ECOOP\u201987, pages 234\u2013242. Springer LNCS 276, 1987."},{"key":"13_CR7","unstructured":"Denis Caromel. Concurrency and reusability: from sequential to parallel. Journal of Object-Oriented Programming, pages 34\u201342, September\/October 1990."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pages 243\u2013320. North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"13_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/BFb0053037","volume-title":"Proc. ECOOP\u201992","author":"S. Frolund","year":"1992","unstructured":"Sven Frolund. Inheritance of synchronization constraints in concurrent object-oriented programming languages. In O. Lehrmann Madsen, editor, Proc. ECOOP\u201992, pages 185\u2013196. Springer LNCS 615, 1992."},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-18420-1_50","volume-title":"Proc. Workshop on Graph Reduction","author":"J. Goguen","year":"1987","unstructured":"Joseph Goguen, Claude Kirchner, and Jos\u00e9 Meseguer. Concurrent term rewriting as a model of computation. In R. Keller and J. Fasel, editors, Proc. Workshop on Graph Reduction, Santa Fe, New Mexico, pages 53\u201393. Springer LNCS 279, 1987."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Eqlog: Equality, types, and generic modules for logic programming. In Douglas DeGroot and Gary Lindstrom, editors, Logic Programming: Functions, Relations and Equations, pages 295\u2013363. Prentice-Hall, 1986. An earlier version appears in Journal of Logic Programming, Volume 1, Number 2, pages 179\u2013210, September 1984.","DOI":"10.1016\/0743-1066(84)90004-9"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. In Bruce Shriver and Peter Wegner, editors, Research Directions in Object-Oriented Programming, pages 417\u2013477. MIT Press, 1987. Preliminary version in SIGPLAN Notices, Volume 21, Number 10, pages 153\u2013162, October 1986.","DOI":"10.1145\/323648.323755"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Software for the rewrite rule machine. In Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, pages 628\u2013637. ICOT, 1988.","DOI":"10.21236\/ADA210528"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. Goguen","year":"1992","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217\u2013273, 1992.","journal-title":"Theoretical Computer Science"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Joseph Goguen, Jos\u00e9 Meseguer, Sany Leinwand, Timothy Winkler, and Hitoshi Aida. The rewrite rule machine. Technical Report SRI-CSL-89-6, SRI International, Computer Science Laboratory, March 1989.","DOI":"10.21236\/ADA210528"},{"key":"13_CR16","unstructured":"Joseph Goguen, Timothy Winkler, Jos\u00e9 Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. Technical Report SRI-CSL-92-03, SRI International, Computer Science Laboratory, 1992. To appear in J.A. Goguen, editor, Applications of Algebraic Specification Using OBJ, Cambridge University Press."},{"key":"13_CR17","unstructured":"Joseph Goguen and David Wolfram. On types and FOOPS. To appear in Proc. IFIP Working Group 2.6 Working Conference on Database Semantics: Object-Oriented Databases: Analysis, Design and Construction, 1990."},{"key":"13_CR18","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"Gerard Huet. Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of the Association for Computing Machinery, 27:797\u2013821, 1980.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Yutaka Ishikawa. Communication mechanism on autonomous objects. In OOPSLA\u201992 Conference on Object-Oriented Programming, pages 303\u2013314. ACM, 1992.","DOI":"10.1145\/141936.141962"},{"key":"13_CR20","unstructured":"Dennis Kafura and Keung Lee. Inheritance in actor based concurrent object oriented languages. In Proc. ECOOP\u201989, pages 131\u2013145. Cambridge University Press, 1989."},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Gregor Kiczales, Jim des Riviers, and Daniel G. Bobrow. The Art of the Metaobject Protocol. MIT Press, 1991.","DOI":"10.7551\/mitpress\/1405.001.0001"},{"key":"13_CR22","unstructured":"Henry Liebermann. Concurrent object-oriented programming in Act 1. In A. Yonezawa and M. Tokoro, editors, Object-Oriented Concurrent Programming, pages 9\u201336. MIT Press, 1988."},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Satoshi Matsuoka and Akinori Yonezawa. Analysis of inheritance anomaly in object-oriented concurrent programming languages. Dept. of Information Science, University of Tokyo, January 1991; to appear in G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Object-Based Concurrency, MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.003.0007"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer. A logical theory of concurrent objects. In ECOOP-OOPSLA\u201990 Conference on Object-Oriented Programming, Ottawa, Canada, October 1990, pages 101\u2013115. ACM, 1990.","DOI":"10.1145\/97945.97958"},{"issue":"1","key":"13_CR25","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Jos\u00e9 Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer. A logical theory of concurrent objects and its realization in the Maude language. To appear in G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Object-Based Concurrency, MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.003.0017"},{"issue":"l","key":"13_CR27","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1006\/inco.1993.1016","volume":"103","author":"J. Meseguer","year":"1993","unstructured":"Jos\u00e9 Meseguer and Joseph Goguen. Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems. Information and Computation, 103(l):114\u2013158, 1993.","journal-title":"Information and Computation"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer and Ugo Montanari. Petri nets are monoids: A new algebraic foundation for net theory. In Proc. LICS\u201988, pages 155\u2013164. IEEE, 1988.","DOI":"10.1016\/0890-5401(90)90013-8"},{"key":"13_CR29","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"Jos\u00e9 Meseguer and Ugo Montanari. Petri nets are monoids. Information and Computation, 88:105\u2013155, 1990.","journal-title":"Information and Computation"},{"key":"13_CR30","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/3-540-55160-3_49","volume-title":"Research Directions in High-level Parallel Programming Languages","author":"J. Meseguer","year":"1992","unstructured":"Jos\u00e9 Meseguer and Timothy Winkler. Parallel Programming in Maude. In J.-P. Ban\u00e2tre and D. Le M\u00e8tayer, editors, Research Directions in High-level Parallel Programming Languages, pages 253\u2013293. Springer LNCS 574, 1992."},{"key":"13_CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/BFb0057018","volume-title":"Proc. ECOOP\u201991","author":"C. Neusius","year":"1991","unstructured":"Christian Neusius. Synchronizing actions. In Pierre America, editor, Proc. ECOOP\u201991, pages 118\u2013132. Springer LNCS 512, 1991."},{"key":"13_CR32","unstructured":"M. Papathomas. Concurrency issues in object-oriented programming languages. In D. Tsichritzis, editor, Object Oriented Development, pages 207\u2013246. Universit\u00e9 de Geneve, 1989."},{"key":"13_CR33","unstructured":"Etsuya Shibayama. Reuse of concurrent object descriptions. In Proc. TOOLS 3, Sydney, pages 254\u2013266, 1990."},{"key":"13_CR34","unstructured":"Brian Smith and Akinori Yonezawa, editors. Proc. of the IMSA\u2019 92 Workshop on Reflection and Meta-Level Architecture, Tama-city, Tokyo. Research Institute of Software Engineering, 1992."},{"key":"13_CR35","doi-asserted-by":"crossref","unstructured":"Chris Tomlinson and Vineet Singh. Inheritance and synchronization with enabled sets. In OOPSLA\u201989 Conference on Object-Oriented Programming, pages 103\u2013112. ACM, 1989.","DOI":"10.1145\/74877.74889"},{"key":"13_CR36","doi-asserted-by":"crossref","unstructured":"Ken Wakita and Akinori Yonezawa. Linguistic support for development of distributed organizational information systems. In Proc. ACM COCS. ACM, 1991.","DOI":"10.1145\/122831.122851"},{"key":"13_CR37","doi-asserted-by":"crossref","unstructured":"A. Yonezawa, J.-P. Briot, and Etsuya Shibayama. Object-oriented concurrent programming in ABCL\/1. In OOPSLA\u201986 Conference on Object-Oriented Programming, Portland, Oregon, September\u2013October 1986, pages 258\u2013268. ACM, 1986.","DOI":"10.1145\/28697.28722"}],"container-title":["Lecture Notes in Computer Science","ECOOP\u2019 93 \u2014 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47910-4_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T12:18:37Z","timestamp":1708172317000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47910-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540571209"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-47910-4_13","relation":{},"subject":[]}}