{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:05:28Z","timestamp":1725465928956},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614395"},{"type":"electronic","value":"9783540685708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0053064","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T04:07:29Z","timestamp":1149653249000},"page":"232-247","source":"Crossref","is-referenced-by-count":5,"title":["(Objects + concurrency) & reusability \u2014 A proposal to circumvent the inheritance anomaly"],"prefix":"10.1007","author":[{"given":"Ulrike","family":"Lechner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Lengauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Friederike","family":"Nickl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,21]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"G. Agha, S. Fr\u00d8lund, W.Y. Kim, R. Panwar, A. Patterson, and D. Sturman. Abstraction and modularity mechanisms for concurrent computing. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, pages 3\u201321. MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.001.0001"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"M. Aksit, K. Wakita, J. Bosch, L. Bergmans, and A. Yonezawa. Abstracting object interactions using composition filters. In R. Guerraoui, I. Nierstrasz, and M. Riveill, editors, Object-based Distributed Programming, Lecture Notes in Computer Science 791, pages 152\u2013183. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0017540"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"E. Astesiano, G.F. Mascari, G. Reggio, and M. Wirsing. On the parameterized algebraic specification of concurrent systems. In H. Ehrig, C. Floyd, M. Nivat, and M. Thatcher, editors, Mathematical Foundations of Software Development, Lecture Notes in Computer Science 185, pages 342\u2013358. Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15198-2_22"},{"key":"13_CR4","series-title":"Algebraic Techniques, Vol. 1","first-page":"1","volume-title":"Resolution of Equations in Algebraic Structures","author":"E. Astesiano","year":"1989","unstructured":"E. Astesiano and M. Wirsing. Bisimulation in algebraic specifications. In H. Ait-Kaci and M. Nivat, editors, Resolution of Equations in Algebraic Structures, Algebraic Techniques, Vol. 1, pages 1\u201332. Academic Press, London, 1989."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"S. Fr\u00d8lund. Inheritance of synchronisation constraints in concurrent object-oriented programming languages. In O. Lehrmann Madsen, editor, European Conf. on Object-Oriented Programming (ECOOP'92), Lecture Notes in Computer Science 615, pages 185\u2013196. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0053037"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"J.A. Goguen, C. Kirchner, H. Kirchner, A. Megr\u00e9lis, J. Meseguer, and T. Winkler. An introduction to OBJ3. In J.-P. Jouannaud and S. Kaplan, editors, Proc. First Int. Workshop on Conditional Term Rewriting Systems, Lecture Notes in Computer Science 308, pages 258\u2013263. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-19242-5_22"},{"key":"13_CR7","unstructured":"T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised version of the modelling language TROLL (Version 2.0). Technical Report Informatik-Bericht 94-03, TU Braunschweig, 1994."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"A.E. Haxthausen and F. Nickl. Pushouts of order-sorted algebraic specifications. In AMAST'96, Lecture Notes in Computer Science. Springer-Verlag, 1996. To appear.","DOI":"10.1007\/BFb0014312"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"U. Lechner and C. Lengauer. Modal-\u039c-Maude \u2014 properties and specification of concurrent objects. In B. Freitag, C. B. Jones, C. Lengauer, and H.-J. Schek, editors, Object Orientation with Parallelism and Persistence. Kluwer, 1996. To appear.","DOI":"10.1007\/978-1-4613-1437-0_3"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"U. Lechner, C. Lengauer, and M. Wirsing. An Object-Oriented Airport: Specification and Refinement in Maude. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, Selected papers, Lecture Notes in Computer Science 906, pages 351\u2013367. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0014438"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in concurrent object-oriented languages. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, pages 107\u2013150. MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.003.0007"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"J. Meseguer. A logical theory of concurrenty objects and its realization in the Maude language. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, pages 314\u2013390. MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.003.0017"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"J. Meseguer. Solving the inheritance anomaly in concurrent object-oriented programming. In O. Nierstrasz, editor, ECOOP '93 \u2014 Object-Oriented Programming, Lecture Notes in Computer Science 707, pages 220\u2013246. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-47910-4_13"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"J. Meseguer and T. Winkler. Parallel programming in Maude. In J.-P. Ban\u00e2tre and D. Le M\u00e9tayer, editors, Research Directions in High-Level Parallel Programming Languages, Lecture Notes in Computer Science 574, pages 253\u2013293. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55160-3_49"},{"issue":"2","key":"13_CR15","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/127070.127092","volume":"2","author":"O. Nierstrasz","year":"1991","unstructured":"O. Nierstrasz and M. Papathomas. Towards a type theory for active objects. ACM OOPS Messenger, 2(2):89\u201393, April 1991. (Proceedings OOPSLA\/ECOOP 90 Workshop on Object-Based Concurrent Systems).","journal-title":"ACM OOPS Messenger"},{"key":"13_CR16","unstructured":"M. Wirsing, F. Nickl, and U. Lechner. Concurrent Object-Oriented Design Specification in Spectrum. In P.-Y. Schobbens, editor, MeDiCis '94: Methodology for the Development of Computer System Specifications, Working Notes of a Workshop held in the Chateau de Namur 1994, pages 163\u2013179, 1994. Full version: Concurrent Object-Oriented Design Specification in SPECTRUM, Technical Report 9418, Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, December 1994."}],"container-title":["Lecture Notes in Computer Science","ECOOP \u201996 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T18:26:47Z","timestamp":1707071207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053064"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614395","9783540685708"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0053064","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}