{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T10:48:39Z","timestamp":1648982919082},"publisher-location":"London","reference-count":14,"publisher":"Springer London","isbn-type":[{"value":"9783540198031","type":"print"},{"value":"9781447135548","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3554-8_5","type":"book-chapter","created":{"date-parts":[[2013,1,17]],"date-time":"2013-01-17T09:34:10Z","timestamp":1358415250000},"page":"63-83","source":"Crossref","is-referenced-by-count":5,"title":["A Semantic Model for Dynamic Systems"],"prefix":"10.1007","author":[{"given":"Egidio","family":"Astesiano","sequence":"first","affiliation":[]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Handbook of Mathematical logic","author":"P Aczel","year":"1977","unstructured":"P. Aczel. An introduction to inductive definitions. In J. Barwise, editor, Handbook of Mathematical logic, Amsterdam, 1977. North-Holland."},{"key":"5_CR2","volume-title":"E. Zucca. Towards a classification of inheritance relations. Technical report, Dipartimento di Informatics e Scienze dellInformazione","author":"D Ancona","year":"1992","unstructured":"D. Ancona, E. Astesiano, and E. Zucca. Towards a classification of inheritance relations. Technical report, Dipartimento di Informatics e Scienze dell\u2019Informazione, Universit\u00e0 di Genova, December 1992. Submitted for publication."},{"key":"5_CR3","volume-title":"Formal description of programming concepts","author":"E Astesiano","year":"1990","unstructured":"E. Astesiano. Inductive and operational semantics. In E. J. Neuhold and M. Paul, editors, Formal description of programming concepts, Berlin, 1990. Springer Verlag."},{"key":"5_CR4","unstructured":"C. Beer\u2019 Theoretical foundations for oodb\u2019s - a personal perspective. Database Engineering,1991. To appear."},{"key":"5_CR5","doi-asserted-by":"publisher","volume-title":"Algebraic specification techniques in object oriented programming environment. PhD thesis","author":"R Breu","year":"1991","unstructured":"R. Breu. Algebraic specification techniques in object oriented programming environment. PhD thesis, Universit\u00e4t Passau - TU M\u00fcnchen, Berlin, 1991.","DOI":"10.1007\/3-540-54972-2"},{"key":"5_CR6","first-page":"131","volume-title":"Proc. 9th Conference on Foundations of Software Technology and Theoretical Computer Science, number 405 in Lecture Notes in Computer Science","author":"R Breu","year":"1989","unstructured":"R. Breu and E. Zucca. An algebraic compositional semantics of an object oriented notation with concurrency. In C.E. Veni Madhavan, editor, Proc. 9th Conference on Foundations of Software Technology and Theoretical Computer Science, number 405 in Lecture Notes in Computer Science, pages 131\u2013142, Berlin, 1989. Springer Verlag."},{"key":"5_CR7","first-page":"221","volume-title":"Logics of Programming Workshop, number 164 in Lecture Notes in Computer Science","author":"RM Burstall","year":"1992","unstructured":"R. M. Burstall and J. A. Goguen. Introducing institutions. In E. Clarke and D. Kozen, editors, Logics of Programming Workshop, number 164 in Lecture Notes in Computer Science, pages 221\u2013254, Berlin, 1992. Springer Verlag."},{"key":"5_CR8","volume-title":"A denotational semantics of inheritance","author":"W Cook","year":"1989","unstructured":"W. Cook. A denotational semantics of inheritance. PhD thesis, Brown University, 1989."},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/143165.143184","volume-title":"Proc. POPL 92","author":"P Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Inductive definitions, semantics and abstract interpretation. In Proc. POPL \u201882, pages 83\u201394, 1992."},{"key":"5_CR10","volume-title":"Recent Trends in Data Type Specification","author":"HD Ehrich","year":"1992","unstructured":"H. D. Ehrich, M. Gogolla, and A. Sernadas. Objects and their specification. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specification, number 655 in Lecture Notes in Computer Science, Berlin, 1992. Springer Verlag."},{"key":"5_CR11","volume-title":"International Workshop on Information Systems for the 90s","author":"G Gottlob","year":"1991","unstructured":"G. Gottlob, G. Kappel, and M. Schrefl. Semantics of object oriented data models-the evolving algebra approach. In J. W. Schmidt, editor, International Workshop on Information Systems for the 90\u2019s, Lecture Notes in Computer Science, Berlin, 1991. Springer Verlag."},{"key":"5_CR12","first-page":"264","volume":"43","author":"Y. Gurevich","year":"1991","unstructured":"Y. Gurevich. Evolving algebras, a tutorial introduction. Bulletin of the EATCS, (43): 264\u2013284, 1991.","journal-title":"Bulletin of the EATCS"},{"key":"5_CR13","volume-title":"IBM Research Division","author":"EG Wagner","year":"1991","unstructured":"E. G. Wagner. Some mathematical thoughts on languages for data directed design. Technical Report RC 16686 (73950), IBM Research Division, 1991."},{"key":"5_CR14","volume-title":"Algebraic Methods: Theory, Tools and Applications. Number 394 in Lecture Notes in Computer Science","year":"1987","unstructured":"M. Wirsing and J. A. Bergstra, editors. Algebraic Methods: Theory, Tools and Applications. Number 394 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 1987."}],"container-title":["Workshops in Computing","Modelling Database Dynamics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3554-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T16:42:42Z","timestamp":1557506562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3554-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198031","9781447135548"],"references-count":14,"URL":"http:\/\/dx.doi.org\/10.1007\/978-1-4471-3554-8_5","relation":{},"ISSN":["1431-1682"],"issn-type":[{"value":"1431-1682","type":"print"}],"published":{"date-parts":[[1993]]}}}