{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T19:48:48Z","timestamp":1777578528087,"version":"3.51.4"},"publisher-location":"Boston, MA","reference-count":19,"publisher":"Springer US","isbn-type":[{"value":"9781475710182","type":"print"},{"value":"9780387355207","type":"electronic"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-0-387-35520-7_11","type":"book-chapter","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T12:32:14Z","timestamp":1344601934000},"page":"213-231","source":"Crossref","is-referenced-by-count":5,"title":["Behavioural Subtyping and Property Preservation"],"prefix":"10.1007","author":[{"given":"Heike","family":"Wehrheim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"REX Workshop: Foundations of Object-Oriented Languages, number 489 in LNCS. Springer","author":"P America","year":"1991","unstructured":"P. America. Designing an object-oriented programming language with behavioural subtyping. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, REX Workshop: Foundations of Object-Oriented Languages, number 489 in LNCS. Springer, 1991."},{"key":"11_CR2","volume-title":"FMOODS 99, Formal methods for open object-based distributed systems","author":"C Balzarotti","year":"1999","unstructured":"C. Balzarotti, F. De Cindio, and L. Pomello. Observation equivalences for the semantics of inheritance. In P. Ciancarini and R. Gorrieri, editors, FMOODS \u201889, Formal methods for open object-based distributed systems, 1999."},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-0-387-35261-9_23","volume-title":"Formal methods for open object-based distributed systems","author":"H Bowman","year":"1997","unstructured":"H. Bowman, C. Briscoe-Smith, J. Derrick, and B. Strulo. On behavioural subtyping in LOTOS. In H. Bowman and J. Derrick, editors, Formal methods for open object-based distributed systems, pages 335\u2013351. Chapman & Hall, 1997."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-0-387-35562-7_18","volume-title":"Formal methods for open object-based distributed systems FMOODS 99","author":"H Bowman","year":"1999","unstructured":"H. Bowman and J. Derrick. A junction between state based and behavioural specification. In P. Ciancarini, F. Fantechi, and R. Gorrieri, editors, Formal methods for open object-based distributed systems FMOODS \u201889, pages 213\u2013239. Kluwer, 1999."},{"key":"11_CR5","first-page":"349","volume-title":"Protocol Specification, Testing and Verification VI","author":"E Brinksma","year":"1987","unstructured":"E. Brinksma, G. Scollo, and Ch. Steenbergen. LOTOS specifications, their implementations and their tests. In B. Sarikaya and G. v.Bochmann, editors, Protocol Specification, Testing and Verification VI, pages 349\u2013358. Elsevier, 1987."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF01898400","volume":"3","author":"E Cusack","year":"1991","unstructured":"E. Cusack. Refinement, conformance and inheritance. Formal Aspects of Computing, 3:129\u2013141, 1991.","journal-title":"Formal Aspects of Computing"},{"key":"11_CR7","unstructured":"Krishna Kishore Dhara and Gary T. Leavens. Forcing behavioral sub-typing through specification inheritance. In Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany,pages 258\u2013267. IEEE Computer Society Press, March 1996. A corrected version is Iowa State University, Dept. of Computer Science TR #95\u201320c."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"C. Fischer and H. Wehrheim. Behavioural subtyping relations for object-oriented formalisms. In T. Rus, editor, AMAST 2000: International Conference on Algebraic Methodology And Software Technology. Springer, 2000. to appear.","DOI":"10.1007\/3-540-45499-3_33"},{"key":"11_CR9","volume-title":"On the inheritance of state-based object behaviour. Technical Report MCS99-12","author":"D Harel","year":"1999","unstructured":"D. Harel and O. Kupferman. On the inheritance of state-based object behaviour. Technical Report MCS99\u201312, The Weizmann Institute of Science, Israel, 1999."},{"key":"11_CR10","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985."},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1007\/BF01178658","volume":"32","author":"GT Leavens","year":"1995","unstructured":"G.T. Leavens and W.E. Weihl. Specification and verification of object-oriented programs using supertype abstraction. Acta Informatica, 32: 705\u2013778, 1995.","journal-title":"Acta Informatica"},{"issue":"6","key":"11_CR12","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B Liskov","year":"1994","unstructured":"B. Liskov and J. Wing. A behavioural notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811\u20131841, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR13","volume-title":"Object-Oriented Software Construction. ISE, 2","author":"B Meyer","year":"1997","unstructured":"B. Meyer. Object-Oriented Software Construction. ISE, 2. edition, 1997."},{"key":"11_CR14","first-page":"99","volume-title":"Object-oriented software composition","author":"O Nierstrasz","year":"1995","unstructured":"O. Nierstrasz. Regular types for active objects. In O. Nierstrasz and D. Tsichritzis, editors, Object-oriented software composition, pages 99\u2013121. Prentice Hall, 1995."},{"key":"11_CR15","unstructured":"Object Management Group. OMG Unified Modeling Language Specification, June 1999. version 1.3."},{"key":"11_CR16","volume-title":"The Theory and Practice of Concurrency","author":"AW Roscoe","year":"1997","unstructured":"A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997."},{"key":"11_CR17","first-page":"62","volume-title":"Application and Theory of Petri Nets","author":"WMP Aalst","year":"1997","unstructured":"W.M.P. van der Aalst and T. Basten. Life-cycle inheritance - a Petrinet-based approach. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets, number 1248 in LNCS, pages 62\u201381. Springer, 1997."},{"issue":"7","key":"11_CR18","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/306549.306582","volume":"42","author":"J Waldo","year":"1999","unstructured":"J. Waldo. The Jini architecture for network-centric computing. Communications of the ACM, 42 (7): 76\u201382, 1999.","journal-title":"Communications of the ACM"},{"key":"11_CR19","volume-title":"ECOOP 88: European Conference on Object-Oriented Programming, volume 322 of Lecture Notes in Computer Science. Springer","author":"P Wegner","year":"1988","unstructured":"P. Wegner and B. Zdonik. Inheritance as an incremental modification mechanism or What like is and isn\u2019t like. In ECOOP \u201888: European Conference on Object-Oriented Programming, volume 322 of Lecture Notes in Computer Science. Springer, 1988."}],"container-title":["IFIP Advances in Information and Communication Technology","Formal Methods for Open Object-Based Distributed Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35520-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T00:40:26Z","timestamp":1557189626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-35520-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9781475710182","9780387355207"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-35520-7_11","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"value":"1868-4238","type":"print"},{"value":"1868-422X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}