{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,9]],"date-time":"2023-09-09T05:05:44Z","timestamp":1694235944095},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1994,1]]},"DOI":"10.1007\/bf01178920","type":"journal-article","created":{"date-parts":[[2005,2,17]],"date-time":"2005-02-17T20:42:43Z","timestamp":1108672963000},"page":"5-26","source":"Crossref","is-referenced-by-count":6,"title":["Object inheritance beyond subtyping"],"prefix":"10.1007","volume":"31","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","reference":[{"key":"CR1","volume-title":"Abstract and concrete categories","author":"J. Ad\u00e1mek","year":"1990","unstructured":"[Ad\u00e1mek et al 90] Ad\u00e1mek, J., Herrlich, H., Strecker, G.: Abstract and concrete categories. New York: Wiley 1990"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/125223.125254","volume":"34","author":"P. Butterworth","year":"1991","unstructured":"[Butterworth et al. 91] Butterworth, P., Otis, A., Stein, J.: The GemStone object database management system. Commun. ACM34, 64?77 (1991)","journal-title":"Commun. ACM"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"[Brass and Lipeck] Brass, S., Lipeck, U.: Semantics of inheritance in logical object specifications. Proc. of the 2nd International Conference on Deductive and Object-Oriented Data-bases (DOOD'91), 1991 (to appear)","DOI":"10.1007\/3-540-55015-1_22"},{"key":"CR4","unstructured":"[Costa 89] Costa, J.F.: Teoria alg\u00e9brica dos processos animados. MSc Thesis, available as a technical report, Universidade T\u00e9cnica de Lisboa, September 1989"},{"issue":"1","key":"CR5","first-page":"83","volume":"4","author":"J.F. Costa","year":"1993","unstructured":"[Costa and Sernadas A 90a] Costa, J.F., Sernadas, A.: Process models within a categorial framework. The INESC Journal of Research and Development,4(1), 83?93 (1993)","journal-title":"The INESC Journal of Research and Development"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"[Costa and Sernadas A 90b] Costa, J.F., Sernadas, A.: Progress assumption in concurrent systems. Formal Aspects of Computing, Springer, accepted for publication.","DOI":"10.1007\/BF01214621"},{"key":"CR7","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-55808-X_18","volume-title":"Object interaction. Mathematical Foundations of Computer Science","author":"J.F. Costa","year":"1992","unstructured":"[Costa et al 92] Costa, J.F., Sernadas, A., Sernadas, C., Ehrich, H.-D.: Object interaction. Mathematical Foundations of Computer Science (Lect. Notes Comput. Sci., vol. 629, pp. 200?208) Berlin, Heidelberg, New York: Springer 1992"},{"key":"CR8","volume-title":"SIMULA 67, Common base language","author":"O.-J. Dahl","year":"1967","unstructured":"[Dahl 67] Dahl, O.-J., Myhrhaug, B., Nygaard, K.: SIMULA 67, Common base language. Oslo: Norwegian Computer Center 1967"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/125223.125238","volume":"34","author":"O. Deux","year":"1991","unstructured":"[Deux et al. 91] Deux, O. et al.: The O2 system. Commun. ACM34, 35?48 (1991)","journal-title":"Commun. ACM"},{"issue":"1\/2","key":"CR10","first-page":"33","volume":"26","author":"H.-D. Ehrich","year":"1990","unstructured":"[Ehrich et al. 90] Ehrich, H.-D., Sernadas, A., Sernadas, C.: From data types to object types. J. Inf. Process. Cybern.26(1\/2), 33?48 (1990)","journal-title":"J. Inf. Process. Cybern."},{"key":"CR11","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BFb0019445","volume-title":"Proc. of the REX90\/Workshop on Foundations of Object-Oriented Languages","author":"H.-D. Ehrich","year":"1991","unstructured":"[Ehrich et al. 91] Ehrich, H.-D., Goguen, J., Sernadas, A.: A categorial theory of objects as observed processes. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds) Proc. of the REX90\/Workshop on Foundations of Object-Oriented Languages. (Lect. Notes Comput. Sci., vol. 489, pp. 203?228) Berlin, Heidelberg, New York: Springer 1991"},{"key":"CR12","series-title":"Lect. Notes Comput. Sci.","first-page":"40","volume-title":"Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types. Selected papers","author":"H.-D. Ehrich","year":"1992","unstructured":"[Ehrich et al 92] Ehrich, H.-D., Gogolla, M., Sernadas, A.: Objects and their specifications. In: Bidoit, M., Choppy, C. (eds.) Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types. Selected papers. (Lect. Notes Comput. Sci., vol. 655, pp. 40?65) Berlin, Heidelberg, New York: Springer 1992"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/3-540-52559-9_67","volume-title":"Proc. of the REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness","author":"H.-D. Ehrich","year":"1990","unstructured":"[Ehrich and Sernadas A 90] Ehrich, H.-D., Sernadas, A.: Algebraic implementation of objects over objects. In: de Bakker, J., de Roever, W.-P., Rozenberg, G. (eds) Proc. of the REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, pp. 239?266. Berlin, Heidelberg, New York: Springer 1990"},{"key":"CR14","unstructured":"[Ehrich and Sernadas A 91] Ehrich, H.-D., Sernadas, A.: Object concepts and constructions. In: Saake, G., Sernadas, A. (eds) Proc of the IS-CORE Workshop'91 (Informatik-Berichte 91-03) Tech. Univ. Braunschweig, 1991, pp. 1?24"},{"key":"CR15","first-page":"243","volume-title":"Object-oriented databases: analysis, design and construction","author":"J. Fiadeiro","year":"1991","unstructured":"[Fiadeiro et al. 91] Fiadeiro, J., Sernadas, C., Maibaum, T., Saake, G.: Proof-theoretic semantics of object-oriented specification constructs. In: Meersman, R., Kent, W., Khosla, S. (eds.) Object-oriented databases: analysis, design and construction, pp. 243?284. Amsterdam: North Holland 1991"},{"key":"CR16","unstructured":"[Fishman et al. 87] Fishman, D. et al.: IRIS: an object-oriented database management system. ACM Trans. Off. Inf. Syst.5 (1987)"},{"key":"CR17","volume-title":"Smalltalk 80: the language and its implementation","author":"A. Goldberg","year":"1983","unstructured":"[Goldberg and Robson 83] Goldberg, A., Robson, D.: Smalltalk 80: the language and its implementation. New York: Addison-Wesley 1983"},{"key":"CR18","series-title":"Proc. Conf. on Topology and Category Theory in Computer Science","first-page":"357","volume-title":"Types as theories","author":"J. Goguen","year":"1991","unstructured":"[Goguen 91] Goguen, J.: Types as theories. Proc. Conf. on Topology and Category Theory in Computer Science, pp. 357?390. Oxford: Oxford University Press 1991"},{"key":"CR19","unstructured":"[Heitz 88] Heitz, M.: HOOD: a hierarchical object-oriented design method. Proc. of the 3rd German Ada Users Congress, Munich 1988, 12-1?12-9"},{"key":"CR20","volume-title":"Communicating sequential processes","author":"C.A.R. Hoare","year":"1985","unstructured":"[Hoare 85] Hoare, C.A.R.: Communicating sequential processes. Englewood Cliffs, N.J.: Prentice-Hall 1985"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"[Jonsson 85] Jonsson, B.: A model and proof system for asynchronous networks. In: Proc. of the 4th Annual ACM Symposium on Principles on Distributed Computing. Minaki, Canada, 1985, pp. 49?58","DOI":"10.1145\/323596.323601"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"[Jonsson 89] Jonsson, B.: A fully abstract trace model for dataflow networks. In: Proc. of the 16th Annual ACM Symposium on Principles of Programming Languages, 1989, pp. 155?165","DOI":"10.1145\/75277.75291"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"[Jungclaus et al. 91] Jungclaus, R., Saake, G., Hartmann, T., Sernadas, C.: Object-oriented specification of information systems: the TROLL language (Informatik-Berichte) Tech. Univ. Braunschweig, 1991","DOI":"10.1007\/3540539816_61"},{"key":"CR24","volume-title":"Object-oriented concepts, databases, and applications","author":"W. Kim","year":"1988","unstructured":"[Kim et al. 88] Kim, W. et al.: Features of the ORION object-oriented DBMS. In: Kim, W., Lochovsky, E.H. (eds.) Object-oriented concepts, databases, and applications. Reading, MA: Addison-Wesley 1988"},{"key":"CR25","unstructured":"[Kerth 88] Kerth, N.: MOOD: a methodology for structured object-oriented design. Tutorial presented at OOPSALA'88. San Diego, 1988"},{"key":"CR26","volume-title":"Non-monotonic reasoning","author":"W. Lukaszewicz","year":"1990","unstructured":"[Lukaszewicz 88] Lukaszewicz, W.: Non-monotonic reasoning. Chichester: Ellis Horwood 1990"},{"key":"CR27","volume-title":"Object-oriented software construction","author":"B. Meyer","year":"1988","unstructured":"[Meyer 88] Meyer, B.: Object-oriented software construction. Englewood Cliffs: Prentice-Hall 1988"},{"key":"CR28","volume-title":"General object-oriented software development","author":"E. Seidewitz","year":"1986","unstructured":"[E. Seidewitz and M. Stark 86] Seidewitz, E., Stark, M.: General object-oriented software development. Document No. SEL-86-002, NASA Goddard Space Flight Center, Greenbelt, Maryland, 1986"},{"key":"CR29","first-page":"225","volume-title":"Information system concepts: an in-depth analysis","author":"A. Sernadas","year":"1989","unstructured":"[Sernadas A et al. 89] Sernadas, A., Fiadeiro, J., Sernadas, C., Ehrich, H.-D.: Basic building blocks of information systems. In:Falkenberg, E., Lindgreen, P. (eds.) Information system concepts: an in-depth analysis, pp. 225?246. Amsterdam: North-Holland 1989"},{"key":"CR30","first-page":"39","volume-title":"Object-oriented databases: analysis, design and construction","author":"A. Sernadas","year":"1991","unstructured":"[Sernadas A and Ehrich 90] Sernadas, A., Ehrich, H.-D.: What is an object, after all. In: Meersman, R., Kent, W., Khosla, S. (eds.) Object-oriented databases: analysis, design and construction, pp. 39?69. Amsterdam: North-Holland 1991"},{"issue":"1","key":"CR31","first-page":"7","volume":"1","author":"A. Sernadas","year":"1990","unstructured":"[Sernadas A et al 90] Sernadas, A., Ehrich, H.-D., Costa, J.-F.: From processes to objects. INESC J. Res. Dev.1(1), 7?27 (1990)","journal-title":"INESC J. Res. Dev."},{"key":"CR32","first-page":"209","volume-title":"Object-oriented approach in information systems","author":"C. Sernadas","year":"1991","unstructured":"[Sernadas C et al. 91] Sernadas, C., Resende, P., Gouveia, P., Sernadas, A.: In-the-large object-oriented design of information systems. In: van Assche, F., Moulin, B., Rolland, C. (eds.) Object-oriented approach in information systems, pp. 209?232. Amsterdam: North-Holland 1991"},{"key":"CR33","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/978-1-4471-3864-8_15","volume-title":"Specification of data base systems","author":"C. Sernadas","year":"1992","unstructured":"[Sernadas C et al. 92] Sernadas, C., Gouveia, P., Gouveia, J., Sernadas, A., Resende, P.: The reification dimension in object-oriented data base design. In: Harper, D., Norrie, M. (eds.) Specification of data base systems, pp. 275?299, Berlin, Heidelberg, New York: Springer 1992"},{"key":"CR34","volume-title":"The C++ programming language","author":"B. Stroustrup","year":"1986","unstructured":"[Stroustrup 86] Stroustrup, B.: The C++ programming language. Reading, MA: Addison-Wesley 1986"},{"key":"CR35","first-page":"245","volume":"14","author":"P. Wegner","year":"1989","unstructured":"[Wegner 89] Wegner, P.: Learning the language. Byte14, 245?253 (1989)","journal-title":"Byte"},{"key":"CR36","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(84)90112-9","volume":"34","author":"G. Winskel","year":"1984","unstructured":"[Winskel 84] Winskel, G.: Synchronization trees. Theor. Comput. Sci.34, 45?77 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"CR37","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/BFb0013026","volume-title":"Linear time, branching time and partial order in logics and models for concurrency","author":"G. Winskel","year":"1989","unstructured":"[Winskel 89] Winskel, G.: An introduction to event structures. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds.) Linear time, branching time and partial order in logics and models for concurrency (Lect. Notes Comput. Sci., vol. 354, pp. 364?397) Berlin, Heidelberg, New York: Springer 1989"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178920.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01178920\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T20:32:35Z","timestamp":1586118755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01178920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,1]]}},"alternative-id":["BF01178920"],"URL":"https:\/\/doi.org\/10.1007\/bf01178920","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,1]]}}}