{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:23Z","timestamp":1725455903965},"publisher-location":"Berlin\/Heidelberg","reference-count":7,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354054478X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017414","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:32:12Z","timestamp":1132644732000},"page":"582-598","source":"Crossref","is-referenced-by-count":3,"title":["Programmed derivations of relational structures"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Maggiolo-Schettini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f3zef","family":"Winkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"42_CR1","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF01752403","volume":"14","author":"H. Ehrig","year":"1981","unstructured":"H. Ehrig, H.J. Kreowski, A. Maggiolo-Schettini, B.K. Rosen, J. Winkowski, Transformations of Structures: An Algebraic Approach, Math. Systems Theory 14 (1981) 305\u2013334.","journal-title":"Math. Systems Theory"},{"key":"42_CR2","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0022-0000(82)90029-0","volume":"24","author":"A. Maggiolo-Schettini","year":"1982","unstructured":"A. Maggiolo-Schettini, J. Winkowski, Processes of Transforming Structures, J. Comput. System Sci. 24(1982) 245\u2013282.","journal-title":"J. Comput. System Sci."},{"key":"42_CR3","first-page":"265","volume-title":"Formal Description of Programming Concepts II","author":"A. Maggiolo-Schettini","year":"1983","unstructured":"A. Maggiolo-Schettini, J. Winkowski, Towards a Programming Language for Manipulating Relational Data Bases, in: D. Bjorner (ed.), Formal Description of Programming Concepts II, North-Holland, Amsterdam, 1983, 265\u2013280."},{"key":"42_CR4","doi-asserted-by":"publisher","first-page":"1621","DOI":"10.1109\/32.9050","volume":"14","author":"A. Maggiolo-Schettini","year":"1988","unstructured":"A. Maggiolo-Schettini, M. Napoli, G. Tortora, Web Structures: A Tool for Representing and Manipulating Programs, IEEE Trans. on Soft. Eng.14 (1988) 1621\u20131639.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"42_CR5","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-642-95486-3_24","volume-title":"The Book of L","author":"B. Mayoh","year":"1986","unstructured":"B. Mayoh, A Uniform Model for the Growth of Biological Organisms: Cooperating Sequential Processes, in: G. Rozenberg, A. Salomaa (eds.): The Book of L, Springer, Berlin, 1986, 291\u2013301."},{"key":"42_CR6","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1016\/S0022-0000(75)80067-5","volume":"11","author":"V. Railich","year":"1975","unstructured":"V. Railich, Dynamics of Discrete Systems and Pattern Reproduction, J. Comput. System Sci. 11 (1975) 186\u2013202.","journal-title":"J. Comput. System Sci."},{"key":"42_CR7","doi-asserted-by":"crossref","unstructured":"G.Winskel, An Event Structure Semantics for CCS and Related Languages, Springer LNCS 140, 1982, 561\u2013576.","DOI":"10.1007\/BFb0012800"}],"container-title":["Lecture Notes in Computer Science","Graph Grammars and Their Application to Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0017414","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,5]],"date-time":"2019-11-05T03:02:04Z","timestamp":1572922924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017414"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354054478X"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0017414","relation":{},"subject":[]}}