{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:12Z","timestamp":1725663852349},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:09:31Z","timestamp":1330258171000},"page":"382-391","source":"Crossref","is-referenced-by-count":0,"title":["Data encapsulation and modularity: Three views of inheritance"],"prefix":"10.1007","author":[{"given":"J. F.","family":"Costa","sequence":"first","affiliation":[]},{"given":"A.","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"C.","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"30_CR1","unstructured":"J.Ad\u00e1mek, H.Herrlich and G.Strecker, Abstract and Concrete Categories, Wiley, 1990"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"J.F.Costa, A.Sernadas and C.Sernadas, \u201cObject Inheritance Beyond Subtyping\u201d, INESC Report, 1992, to appear in Acta Informatica","DOI":"10.1007\/3-540-55808-X_18"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"H.-D.Ehrich, J.Goguen and A.Sernadas, \u201cA Categorial Theory of Objects as Observed Processes\u201d, in J.W. deBakker, W.P.deRoever and G.Rozenberg (eds), Proc. of the REX90\/Workshop on Foundations of Object-Oriented Languages, LNCS 489, Springer-Verlag, 1991, 203\u2013228","DOI":"10.1007\/BFb0019445"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"[Ehrich et al 92] H.-D.Ehrich, G.Saake and A.Sernadas, \u201cConcepts of Object-Orientation\u201d, to appear in Proc. of the 2nd IS\/KI Workshop, Ulm, 1992","DOI":"10.1007\/978-3-642-77312-9_1"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"J.Goguen, \u201cTypes as Theories\u201d, Proc. Conf. on Topology and Category Theory in Computer Science, Oxford University Press, 1991, 357\u2013390","DOI":"10.1093\/oso\/9780198537601.003.0014"},{"key":"30_CR6","unstructured":"R.Jungclaus, G.Saake, T.Hartmann and C.Sernadas, Object-Oriented Specification of Information Systems: The TROLL Language, Informatik-Berichte, Tech. Univ. Braunschweig, 1991, to appear"},{"key":"30_CR7","unstructured":"Z.Manna and A.Pnueli, \u201cThe Temporal Framework for Concurrent Programs\u201d, in R.Boyer and J.Moore (eds), The Correcteness Problem in Computer Science, Academic Press, 1981, 215\u2013274"},{"key":"30_CR8","unstructured":"A.Sernadas, J.Fiadeiro, C.Sernadas and H.-D.-Ehrich, \u201cBasic Building Blocks of Information Systems\u201d, in E.Falkenberg and P.Lindgreen (eds), Information System Concepts: An In-depth Analysis, North-Holland, 1989, 225\u2013246"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"G.Winskel, \u201cSynchronization trees\u201d, in Theoretical Computer Science 34, 1984","DOI":"10.1016\/0304-3975(84)90112-9"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"G.Winskel, \u201cAn Introduction to Event Structures\u201d, in J.W.deBakker, W.P.de Roever and G.Rozenberg (eds), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer-Verlag, 1989, 364\u2013397","DOI":"10.1007\/BFb0013026"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T15:07:46Z","timestamp":1713625666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}