{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:54:40Z","timestamp":1725605680151},"publisher-location":"London","reference-count":26,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852334208"},{"type":"electronic","value":"9781447102991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-1-4471-0299-1_2","type":"book-chapter","created":{"date-parts":[[2011,9,10]],"date-time":"2011-09-10T07:35:51Z","timestamp":1315640151000},"page":"15-30","source":"Crossref","is-referenced-by-count":0,"title":["Behavioral compatibility in Concurrent Object Constructions"],"prefix":"10.1007","author":[{"given":"Michel","family":"Augeraud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/0890-5401(89)90054-0","volume":"82","author":"A Arnold","year":"1989","unstructured":"A. Arnold and A. Dicky. An algebraic characterisation of transition system equivalences. Information and Computation, 82:198\u2013229, 1989.","journal-title":"Information and Computation"},{"key":"2_CR2","volume-title":"Finite transition systems. Semantics of communicating sytems","author":"A Arnold","year":"1994","unstructured":"A. Arnold. Finite transition systems. Semantics of communicating sytems. Prentice-Hall, 1994."},{"key":"2_CR3","first-page":"347","volume-title":"IEEE Software Engineering","author":"F Bertrand","year":"1999","unstructured":"F. Bertrand and M. Augeraud. Bdl: A specialized language for per-object reactive control. In IEEE Software Engineering, pages pp 347\u2013362, May\/June 1999."},{"key":"2_CR4","unstructured":"G. Berry, P. Couronn\u00e9, and G. Gonthier. Synchronous programming of reactive systems. France-Japan Artificial Intelligence and Computer Science Symposium, 86, 1986."},{"key":"2_CR5","volume-title":"Un Mod\u00e8le de Contr\u00f4le Reactif pour les langages \u00e0 Objets Concurrents","author":"F Bertrand","year":"1996","unstructured":"F. Bertrand. Un Mod\u00e8le de Contr\u00f4le Reactif pour les langages \u00e0 Objets Concurrents. PhD thesis, Universit\u00e9 de La Rochelle, Janvier 1996."},{"issue":"2","key":"2_CR6","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"G. Berry and G. Gonthier. The esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"issue":"6","key":"2_CR7","first-page":"765","volume":"15","author":"JP Briot","year":"1996","unstructured":"J.P. Briot and R. Guerraoui. Objets, parall\u00e9lisme et r\u00e9partition. Technique et science informatique, 15(6):765\u2013800, 1996.","journal-title":"Technique et science informatique"},{"key":"2_CR8","first-page":"560","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Number 31, pages 560\u2013599, 1984.","journal-title":"Number"},{"key":"2_CR9","series-title":"Technical Report 191","volume-title":"The fctools user manual","author":"A Bouali","year":"1996","unstructured":"A. Bouali, A. Ressouche, V. Roy, and R de Simonne. The fctools user manual. Technical Report 191, INRIA, Avril 1996."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"M.-M Corsini and A. Rauzy. Symbolic model checking and constraint logic programming: a cross-fertilization. Proc. of the European Symposium on Programming ESOP\u201994, 1994.","DOI":"10.1007\/3-540-57880-3_12"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF01178920","volume":"31","author":"JF Costa","year":"1994","unstructured":"J. F. Costa, A. Sernadas, and C. Sernadas. Object inheritance beyond subtyping. Acta Informatica, 31:5\u201326, 1994.","journal-title":"Acta Informatica"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"issue":"9","key":"2_CR13","first-page":"1305","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of IEEE, 79(9):1305\u20131320, 1991.","journal-title":"The synchronous dataflow programming language lustre"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BFb0053030","volume-title":"Aggregation in a Behavior Oriented Object Model","author":"T Hartmann","year":"1992","unstructured":"T. Hartmann, R. Jungclaus, and G. Saake. Aggregation in a Behavior Oriented Object Model. In O. L. Madsen, editor, Proceedings of ECOOP\u201992, volume 615 of Lecture Notes in Computer Science, pages 57\u201377. Springer Verlag, 1992."},{"key":"2_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous observers and the verification of reactive systems","author":"N Halbwachs","year":"1993","unstructured":"N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST\u201993, Twente, June 1993. Workshops in Computing, Springer Verlag."},{"key":"2_CR16","first-page":"477","volume":"13","author":"D Harel","year":"1985","unstructured":"D. Harel and A. Pnueli. On the development of reactive systems: logic and models of concurrent systems. Proceedings of NATO Advanced Study Institute on Logic and Models for Verification and Specification of Concurrent Systems, 13:477\u2013498, 1985.","journal-title":"On the development of reactive systems: logic and models of concurrent systems"},{"key":"2_CR17","volume-title":"The junior reactive kernel","author":"L Hazard","year":"1999","unstructured":"Laurent Hazard, Jean-Ferdinand Susini, and Fr\u00e9d\u00e9ric Boussinot. The junior reactive kernel. Rapport de recherche, INRIA, Juillet 1999. http:\/\/www.inria.fr\/meije\/rc\/RRInria-3732.ps."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"D.G. Kafura and K.H. Lee. Inheritance in actor based concurrent object-oriented languages. In S. Cook, editor, Proceedings of ECOOP\u201989, pages 131\u2013145, 1989.","DOI":"10.1093\/comjnl\/32.4.297"},{"key":"2_CR19","volume-title":"Synchronisation in Concurrent Object-Oriented Languages: Expressive Power, Genericity and Inheritance","author":"C McHale","year":"1994","unstructured":"Ciaran McHale. Synchronisation in Concurrent Object-Oriented Languages: Expressive Power, Genericity and Inheritance. PhD thesis, University of Dublin, Trinity College, 1994. http:\/\/www.dsg.cs.tcd.ie."},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"S. Matsuoka, K. Taura, and A. Yonezawa. Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages. In Proceedings of OOPSLA\u201993, pages 109\u2013126, 1993.","DOI":"10.1145\/165854.165875"},{"key":"2_CR21","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":"S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In P. Wegner et A. Yonezawa G. Agha, editor, Research Directions in Concurrent Object-Oriented programming, pages 107\u2013150, 1993."},{"key":"2_CR22","volume-title":"Object-oriented software composition","author":"O Nierstrasz","year":"1995","unstructured":"O. Nierstrasz and D. Tsichritzis. Object-oriented software composition, 1995."},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"E.R. Olderog and C.A.R. Hoare. Specification-oriented semantics for communication processes. In J. Diaz, editor, Automata, Languages and Programming, number 154, pages 561\u2013572, 1983.","DOI":"10.1007\/BFb0036937"},{"key":"2_CR24","first-page":"109","volume":"142","author":"O Roux","year":"1995","unstructured":"O. Roux and F. Cassez. Compilation of electre reactive language into finite transition systems. Theorical Computer Science, (142):109\u2013143, 1995.","journal-title":"Theorical Computer Science"},{"key":"2_CR25","unstructured":"O. Roux, D. Creusot, F. Cassez, and J.P. Elloy. Le langage r\u00e9actif asynchrone electre. Technique et Science Informatiques, 11(5), 1992."},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/74878.74889","volume":"24","author":"C Tomlison","year":"1989","unstructured":"C. Tomlison and V. Singh. Inheritance and synchronisation with enabled sets. In Proceedings of the OOPSLA\u201989, volume 24 of SIGPLAN Notices, pages 103\u2013112, 1989.","journal-title":"SIGPLAN Notices"}],"container-title":["OOIS 2000"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0299-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,11]],"date-time":"2024-04-11T07:23:42Z","timestamp":1712820222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0299-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9781852334208","9781447102991"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0299-1_2","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}