{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:49:44Z","timestamp":1725752984616},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642412011"},{"type":"electronic","value":"9783642412028"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41202-8_2","type":"book-chapter","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T05:11:19Z","timestamp":1382332279000},"page":"4-19","source":"Crossref","is-referenced-by-count":2,"title":["Algebraic Laws for Process Subtyping"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Dihego","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Antonino","sequence":"additional","affiliation":[]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/BFb0019440","volume-title":"Foundations of Object-Oriented Languages","author":"P. America","year":"1991","unstructured":"America, P.: Designing an Object-Oriented Programming Language with Behavioural Subtyping. In: de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1990. LNCS, vol.\u00a0489, pp. 60\u201390. Springer, Heidelberg (1991)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Balzarotti, C., Cindio, F., Pomello, L.: Observation equivalences for the semantics of inheritance. In: Proceedings of the IFIP TC6\/WG6, FMOODS 1999, Deventer, The Netherlands. Kluwer, B.V. (1999)","DOI":"10.1007\/978-0-387-35562-7_6"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bowman, H., Briscoe-Smith, C., Derrick, J., Strulo, B.: On Behavioural Subtyping in LOTOS (1996)","DOI":"10.1007\/978-0-387-35261-9_23"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bowman, H., Derrick, J.: A Junction between State Based and Behavioural Specification (Invited Talk), Deventer, The Netherlands, pp. 213\u2013239. Kluwer, B.V. (1999)","DOI":"10.1007\/978-0-387-35562-7_18"},{"issue":"2-3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/s00165-003-0006-5","volume":"15","author":"A.L.C. Cavalcanti","year":"2003","unstructured":"Cavalcanti, A.L.C., Sampaio, A., Woodcock, J.C.P.: A Refinement Strategy for Circus. Formal Aspects of Computing\u00a015(2-3), 146\u2013181 (2003)","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"2_CR6","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10270-005-0085-2","volume":"4","author":"A.L.C. Cavalcanti","year":"2005","unstructured":"Cavalcanti, A.L.C., Sampaio, A., Woodcock, J.C.P.: Unifying Classes and Processes. Software and System Modelling\u00a04(3), 277\u2013296 (2005)","journal-title":"Software and System Modelling"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF01898400","volume":"3","author":"E. Cusack","year":"1991","unstructured":"Cusack, E.: Refinement, conformance and inheritance. Formal Aspects of Computing\u00a03, 129\u2013141 (1991), doi:10.1007\/BF01898400","journal-title":"Formal Aspects of Computing"},{"key":"2_CR8","unstructured":"Dihego, J., Antonino, P., Sampaio, A.: Algebraic Laws for Process Subtyping - Extended Version. Technical report (2011), \n                    \n                      http:\/\/www.cin.ufpe.br\/~jdso\/technicalReports\/TR015.pdf"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Fischer, C.: CSP-OZ: A combination of Object-Z and CSP. In: Proceedings of the IFIP, FMOODS 1997, London, UK. Chapman & Hall (1997)","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"2_CR10","first-page":"666","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes, vol.\u00a021, pp. 666\u2013677. ACM, New York (1978)"},{"key":"2_CR11","unstructured":"Hoare, C.A.R., He, J.: Unifying theories of programming, vol.\u00a014. Prentice Hall (1998)"},{"issue":"6","key":"2_CR12","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B.H. Liskov","year":"1994","unstructured":"Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst.\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR13","volume-title":"Programming from specifications","author":"C. Morgan","year":"1990","unstructured":"Morgan, C.: Programming from specifications. Prentice-Hall, Inc., Upper Saddle River (1990)"},{"issue":"1-3","key":"2_CR14","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.scico.2004.05.017","volume":"55","author":"E.-R. Olderog","year":"2005","unstructured":"Olderog, E.-R., Wehrheim, H.: Specification and (property) inheritance in CSP-OZ. Sci. Comput. Program.\u00a055(1-3), 227\u2013257 (2005)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"2_CR15","first-page":"3","volume":"21","author":"M.V.M. Oliveira","year":"2007","unstructured":"Oliveira, M.V.M., Cavalcanti, A.L.C., Woodcock, J.C.P.: A UTP Semantics for Circus. Formal Aspects of Computing\u00a021(1), 3\u201332 (2007)","journal-title":"Formal Aspects of Computing"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Puntigam, F.: Types for Active Objects Based on Trace Semantics. In: Proceedings of the FMOODS 1996, pp. 4\u201319. Chapman and Hall (1996)","DOI":"10.1007\/978-0-387-35082-0_2"},{"key":"2_CR17","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W., Hoare, C.A.R., Bird, R.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/3-540-45614-7_26","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"A. Sampaio","year":"2002","unstructured":"Sampaio, A., Woodcock, J.C.P., Cavalcanti, A.L.C.: Refinement in Circus. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 451\u2013470. Springer, Heidelberg (2002)"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-45648-1_22","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"S. Schneider","year":"2002","unstructured":"Schneider, S., Treharne, H.: Communicating B Machines. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) ZB 2002. LNCS, vol.\u00a02272, pp. 416\u2013435. Springer, Heidelberg (2002)"},{"key":"2_CR20","volume-title":"The Z notation: A reference manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z notation: A reference manual. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1007\/3-540-55092-5_30","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"H. Toetenel","year":"1991","unstructured":"Toetenel, H., van Katwijk, J.: Stepwise development of model-oriented real-time specifications from action\/event models. In: Vytopil, J. (ed.) FTRTFT 1992. LNCS, vol.\u00a0571, pp. 547\u2013570. Springer, Heidelberg (1991)"},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1024764232069","volume":"23","author":"H. Wehrheim","year":"2003","unstructured":"Wehrheim, H.: Behavioral Subtyping Relations for Active Objects. Form. Methods Syst. Des.\u00a023(2), 143\u2013170 (2003)","journal-title":"Form. Methods Syst. Des."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41202-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T20:46:47Z","timestamp":1558644407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41202-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642412011","9783642412028"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41202-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}