{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T09:54:43Z","timestamp":1742378083919},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625995"},{"type":"electronic","value":"9783540683285"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62599-2_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:46:07Z","timestamp":1330296367000},"page":"267-281","source":"Crossref","is-referenced-by-count":2,"title":["Inheriting synchronization protocols via sound enrichment rules"],"prefix":"10.1007","author":[{"given":"Franti\u0161ek","family":"Pl\u00e1\u0161il","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Miku\u0161\u00edk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"19_CR1","unstructured":"Programming Language Ada. Language and Standard Libraries. Draft Version 5.0. IR-MA-1363-4, Ada 9X Mapping\/Revision Team, Intermetrics, Inc., 733 Concord Avenue, Cambridge, Massachusetts 02138 (ANSI\/ISO DIS 8652 Draft International Standard, June 1994"},{"key":"19_CR2","first-page":"234","volume":"276","author":"P. America","year":"1987","unstructured":"America, P.: Inheritance and Subtyping in a Parallel Object-Oriented Language. In: Proceedings of ECOOP'87, Springer LNCS 276, pp 234\u2013242, 1987","journal-title":"Springer LNCS"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"America, P., van der Linden,F.: A Parallel Object-Oriented Language with Inheritance and Subtyping. In: Proceedings of OOPSLA'90, ACM SIGPLAN Notices, Vol.25, Oct. 1990","DOI":"10.1145\/97945.97966"},{"key":"19_CR4","first-page":"60","volume":"489","author":"P. America","year":"1991","unstructured":"America, P.: Designing an Object-Oriented Programming language with Behavioral Subtyping. In: Proceedings of the Workshop on Foundations of Object-Oriented Languages, Springer LNCS 489, pp 60\u201390, 1991","journal-title":"Springer LNCS"},{"key":"19_CR5","unstructured":"Atkinson, C.: An Object-Oriented Language for Software Reuse and Distribution. PhD thesis, Department of Computing, Imperial College of Science, Technology and Medicine, University of London, February 1990"},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1007\/BF01463943","volume":"28","author":"J. Bos van den","year":"1991","unstructured":"van den Bos J., Laffra C.: PROCOL \u2014 A concurrent object-oriented language with protocols delegation and constraints, Acta Informatica 28:511\u2013538(1991)","journal-title":"Acta Informatica"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Bloom, T. Evaluating Synchronization Mechanisms. In Seventh International ACM Symposium on Operating System Principles, pages 24\u201332, 1979.","DOI":"10.1145\/800215.806566"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Balter, R., Lacourte, S., Riveill, M.: The Guide Language, The Computer Journal, vol.37, Dec.94, pp.519\u2013530","DOI":"10.1093\/comjnl\/37.6.519"},{"key":"19_CR9","first-page":"89","volume":"16","author":"R.H. Campbell","year":"1974","unstructured":"Campbell, R.H., Habermann, A.N.: The specification of process synchronization by path expression (Springer LNCS, Vol. 16, 1974, pp. 89\u2013102).","journal-title":"Springer LNCS"},{"key":"19_CR10","unstructured":"McHale, C.: Synchronization in Concurrent, Object-oriented Languages: Expressive Power, Genericity and Inheritance, PhD Thesis, (http:\/\/www.dsg.cs.tcd.ie\/) October 1994"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Ferenczi, S.: Guarded Methods vs. Inheritance Anomaly. Inheritance Anomaly Solved by nested Guarded Method Calls. ACM SIGPLAN Notices, Vol.30, No.2, Feb. 1995","DOI":"10.1145\/199873.199881"},{"key":"19_CR12","first-page":"351","volume":"952","author":"G. Florijn","year":"1995","unstructured":"Florijn, G.: Object Protocols as Functional Parsers, ECOOP'95, Springer LNCS 952, pages 351\u2013373, August 1995","journal-title":"Springer LNCS"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Frolund, S.: Inheritance of synchronization constraints in concurrent object-oriented programming languages. In O. Lehrmann Madsen, editor, Proc. ECOOP'92, pages 185\u2013196. Springer LNCS 615, 1992.","DOI":"10.1007\/BFb0053037"},{"key":"19_CR14","first-page":"468","volume-title":"Mediators: A synchronization mechanism","author":"J.E. Grass","year":"1986","unstructured":"Grass, J.E., Campbell, R.H.: Mediators: A synchronization mechanism. Proceedings of the 6th International Conference on Distributed Systems (ICDCS), Cambridge, pp 468\u2013477, IEEE 1986"},{"issue":"10","key":"19_CR15","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare, C.A.R.: Monitors: An Operating System Structuring Concept. Communications of the ACM, 17(10):pages 549\u2013557, October 1974","journal-title":"Communications of the ACM"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Kafura, D.G., Lee, K.H.: Inheritance in actor based concurrent object-oriented languages. In: Proceedings of ECOOP'89, pages 131\u2013145. Cambridge University Press, 1989","DOI":"10.1093\/comjnl\/32.4.297"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Kafura, D.G., Lee, K.H.: ACT++: Building a Concurrent C++ with Actors. JOOP May\/June 1990, pages 25\u201337","DOI":"10.1145\/97946.97961"},{"issue":"Number10","key":"19_CR18","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1145\/236338.236351","volume":"31","author":"J. Kleindienst","year":"1996","unstructured":"Kleindienst, J., Pl\u00e1\u0161il, F., T\u016fma, P.: Lessons Learned from Implementing the CORBA Persistent Object Service, Proceedings of OOPSLA'96, ACM SIGPLAN Notices, pages 150\u2013167, Vol. 31, Number 10, October 1996","journal-title":"ACM SIGPLAN Notices"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming. Proceedings of ECOOP'93, LNCS, Springer July 1993","DOI":"10.1007\/3-540-47910-4_13"},{"key":"19_CR20","unstructured":"Meyer, B.: Eiffel: the language, Prantice Hall, 1992"},{"key":"19_CR21","unstructured":"Miku\u0161\u00edk, D.: Implementing Protocols with Inheritance and Enrichment Rules, TR 96-3, Department of Software Engineering, Faculty of Mathematics and Physics, Charles University, available at http:\/\/www.uivt.cas.cz\/\u223ckleindie\/"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Matsuoka, S., Taura, K., Yonezawa, A.: Highly Efficient and encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented languages. Proceedings of OOPSLA'93, pages 109\u2013126, ACM 1993","DOI":"10.1145\/165854.165875"},{"key":"19_CR23","volume-title":"TR TCD-CS-92-18","author":"C. McHale","year":"1992","unstructured":"McHale, C., Walsh, B., Baker, S., Donnelly, A.: Evaluating Synchronization Mechanisms: The Inheritance Matrix. TR TCD-CS-92-18, Department of CS, Trinity College, Dublin. July1992"},{"key":"19_CR24","unstructured":"Matsuoka, S., Wakita, K., Yonezawa, A.: Synchronization Constrains with Inheritance: What is not possible \u2014 so what is? TR 10, Department of Information Science, University of Tokyo, 1990 (ftp: is.s.u-tokyo.ac.jp)"},{"key":"19_CR25","unstructured":"Matsuoka, S., Yonezawa, A.: Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages. In: Agha, G., Wegner, P., Yonezava, A., editors: Research Directions in Object-Based Concurrency, MIT Press, 1993"},{"key":"19_CR26","first-page":"118","volume":"512","author":"C. Neusius","year":"1991","unstructured":"Neusius, Ch.: Synchronizing Actions. In: Proc. ECOOP'91, LNCS 512, 1991, pp. 118\u2013132","journal-title":"LNCS"},{"key":"19_CR27","unstructured":"Nierstrasz, O., Papathomas, M.: Viewing Objects as Paterns of Communicating Agents. In: ECOOP\/OOPSLA'90 Proceedings, ACM, 1990"},{"key":"19_CR28","unstructured":"Papathomas, M.: Concurrency issues in object-oriented languages. In: Tsichritzis, D., editor: Object Oriented Development, Chapter 12, pp 207\u2013245. Universit\u00e9 de Gen\u00e8ve, 1989"},{"key":"19_CR29","unstructured":"Pl\u00e1\u0161il, F., Gr\u00f3f, M.: An Approach to Overcoming the Inheritance Anomaly, SOFSEM '94 conference, Czech Society for Computer Science, 1994"},{"key":"19_CR30","unstructured":"Pl\u00e1\u0161il, F., Gr\u00f3f, M.: An Overcoming of Inheritance Anomaly, D\u00e9partement Informatique I.N.T., EVRY, France, TR n\u2218 95-05-02"},{"key":"19_CR31","unstructured":"Riveill, M.: Synchronizing Shared Objects. Bull-IMAG\/Syst\u00e8mes, 1994 (ftp: imag.fr)"},{"key":"19_CR32","doi-asserted-by":"crossref","unstructured":"Tomlinson, Ch., Kim, W., Scheevel, M., Singh, V., Will, B., Agha, G.: Rosette: An Object-oriented Concurrent Systems Architecture. SIGPLAN Notices, Vol.24, No.4, 1989","DOI":"10.1145\/67387.67410"},{"key":"19_CR33","doi-asserted-by":"crossref","unstructured":"Tomlinson, Ch., Singh, V.: Inheritance and Synchronization with Enabled Sets. In: OOPSLA'89 Conference on Object-Oriented Programming, pages 103\u2013112. ACM, 1989","DOI":"10.1145\/74877.74889"}],"container-title":["Lecture Notes in Computer Science","Modular Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62599-2_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:13:47Z","timestamp":1605647627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62599-2_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625995","9783540683285"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-62599-2_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}