{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:00:33Z","timestamp":1754485233657},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675303"},{"type":"electronic","value":"9783540454991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_33","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T01:55:04Z","timestamp":1185933304000},"page":"469-483","source":"Crossref","is-referenced-by-count":21,"title":["Behavioural Subtyping Relations for Object-Oriented Formalisms"],"prefix":"10.1007","author":[{"given":"Clemens","family":"Fischer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"33_CR1","series-title":"Lect Notes Comput Sci","volume-title":"REX Workshop: Foundations of Object-Oriented Languages","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":"33_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"H. Bowman, C. Briscoe-Smith, J. Derrick, and B. Strulo. On behavioural subtyping in LOTOS. In H. Bowman and J. Derrick, editors, FMOODS 97, pages 335\u2013351. Chapman & Hall, 1997.","DOI":"10.1007\/978-0-387-35261-9_23"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"C. Balzarotti, F. De Cindio, and L. Pomello. Observation equivalences for the semantics of inheritance. In P. Ciancarini and R. Gorrieri, editors, FMOODS\u2019 99, 1999.","DOI":"10.1007\/978-0-387-35562-7_6"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"H. Bowman and J. Derrick. A junction between state based and behavioural specification. In P. Ciancarini, F. Fantechi, and R. Gorrieri, editors, FMOODS\u2019 99, pages 213\u2013239. Kluwer, 1999.","DOI":"10.1007\/978-0-387-35562-7_18"},{"issue":"3","key":"33_CR6","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","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. Journal of the ACM, 31(3):560\u2013599, 1984.","journal-title":"Journal of the ACM"},{"key":"33_CR7","unstructured":"E. Brinksma, G. Scollo, and Ch. Steenbergen. LOTOS specifications, their implementations and their tests. In B. Sarikaya and G. v. Bochmann, editors, PSTV, pages 349\u2013358. Elsevier, 1987."},{"key":"33_CR8","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":"33_CR9","doi-asserted-by":"crossref","unstructured":"K. K. Dhara and G. T. Leavens. Forcing behavioral subtyping through specification inheritance. In Proceedings of the 18th International Conference on Software Engineering, pages 258\u2013267. IEEE Computer Society Press, 1996.","DOI":"10.1109\/ICSE.1996.493421"},{"key":"33_CR10","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"Rocco De Nicola and Matthew Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83\u2013133, 1984.","journal-title":"Theoretical Computer Science"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1, volume 6. Springer, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, FMOODS\u2019 97, volume 2, pages 423\u2013438. Chapman & Hall, 1997.","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"33_CR13","unstructured":"C. Fischer and H. Wehrheim. A hierarchy of behavioural subtyping relations (full version). Technical Report TRCF-99-1, University of Oldenburg, October 1999. http:\/\/semantik.Informatik.Uni-Oldenburg.DE\/~wehrheim"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"issue":"5","key":"33_CR15","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/62139.62141","volume":"23","author":"B. Liskov","year":"1988","unstructured":"B. Liskov. Data abstraction and hierarchy. SIGPLAN Notices, 23(5):17\u201334, May 1988.","journal-title":"SIGPLAN Notices"},{"key":"33_CR16","unstructured":"G. T. Leavens and D. Pigozzi. A complete algebraic characterization of behavioral subtyping. to appear in Acta Informatica, see also ftp:\/\/ftp.cs.iastate.edu\/pub\/techreports\/TR96-15\/TR.ps.gz ."},{"issue":"6","key":"33_CR17","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":"33_CR18","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1007\/BF01178658","volume":"32","author":"G.T. 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"},{"key":"33_CR19","unstructured":"B. Meyer. Object-Oriented Software Construction. ISE, 2. edition, 1997."},{"key":"33_CR20","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":"33_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"772","DOI":"10.1007\/BFb0030640","volume-title":"TAPSOFT\u2019 97","author":"A. Rensink","year":"1997","unstructured":"A. Rensink and R. Gorrieri. Action refinement as an implementation relation. In M. Bidoit and M. Dauchet, editors, TAPSOFT\u2019 97, volume 1214 of LNCS, pages 772\u2013786, 1997."},{"key":"33_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-63139-9_30","volume-title":"Application and Theory of Petri Nets","author":"W.M.P. Aalst van der","year":"1997","unstructured":"W.M.P. van der Aalst and T. Basten. Life-cycle inheritance-a Petri-net-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":"33_CR23","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":"33_CR24","series-title":"Lect Notes Comput Sci","volume-title":"ECOOP\u201988","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\u201988, volume 322 of LNCS. Springer, 1988."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T16:45:48Z","timestamp":1683996348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45499-3_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}