{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:31:35Z","timestamp":1725568295361},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672036"},{"type":"electronic","value":"9783540464648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-46464-8_26","type":"book-chapter","created":{"date-parts":[[2010,10,20]],"date-time":"2010-10-20T13:43:10Z","timestamp":1287582190000},"page":"368-382","source":"Crossref","is-referenced-by-count":13,"title":["Refinements of Graph Transformation Systems via Rule Expressions"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gro\u00dfe-Rhode","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Parisi Presicce","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Simeoni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/0022-0000(87)90030-4","volume":"34","author":"P. B\u00f6hm","year":"1987","unstructured":"B\u00f6hm, P., Fonio, H.-R., Habel, A.: Amalgamation of graph transformations: a synchronization mechanism. Journal of Computer and System Science\u00a034, 377\u2013408 (1987)","journal-title":"Journal of Computer and System Science"},{"issue":"3,4","key":"26_CR2","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Montanari, U., Rossi, F.: Graph processes. Special issue of Fundamenta Informaticae\u00a026(3,4), 241\u2013266 (1996)","journal-title":"Special issue of Fundamenta Informaticae"},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1142\/9789812384720_0003","volume-title":"Handbook of Graph Grammars and Computing by Graph transformation: Foundations","author":"A. Corradini","year":"1997","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation part I: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph transformation: Foundations, vol.\u00a01, pp. 163\u2013246. World Scientific, Singapore (1997)"},{"key":"26_CR4","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2: Module Specifications and Constraints","author":"H. Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, vol.\u00a021. Springer, Berlin (1990)"},{"issue":"4","key":"26_CR5","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1142\/S0218194097000266","volume":"7","author":"G. Engels","year":"1997","unstructured":"Engels, G., Ehrig, H., Heckel, R., Taentzer, G.: A combined reference modeland view-based approach to system specification. Int. Journal of Software and Knowledge Engeneering\u00a07(4), 457\u2013477 (1997)","journal-title":"Int. Journal of Software and Knowledge Engeneering"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/BFb0055805","volume-title":"Mathematical Foundations of Computer Science 1998","author":"M. Grose\u2013Rhode","year":"1998","unstructured":"Grose\u2013Rhode, M., Parisi Presicce, F., Simeoni, M.: Spatial and temporal refinement of typed graph transformation systems. In: Brim, L., Gruska, J., Zlatu\u0161ka, J. (eds.) MFCS 1998. LNCS, vol.\u00a01450, pp. 553\u2013561. Springer, Heidelberg (1998)"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","first-page":"137","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M. Grose\u2013Rhode","year":"1999","unstructured":"Grose\u2013Rhode, M., Parisi Presicce, F., Simeoni, M.: Refinements and modules for typed graph transformation systems. In: Fiadeiro, J.L. (ed.) WADT 1998. LNCS, vol.\u00a01589, pp. 137\u2013151. Springer, Heidelberg (1999)"},{"issue":"6","key":"26_CR8","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1017\/S0960129500070110","volume":"6","author":"R. Heckel","year":"1996","unstructured":"Heckel, R., Corradini, A., Ehrig, H., L\u00f6we, M.: Horizontal and vertical structuring of typed graph transformation systems. Math. Struc. in Comp. Science\u00a06(6), 613\u2013648 (1996)","journal-title":"Math. Struc. in Comp. Science"}],"container-title":["Lecture Notes in Computer Science","Theory and Application of Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-46464-8_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,13]],"date-time":"2020-06-13T02:25:33Z","timestamp":1592015133000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-46464-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672036","9783540464648"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-46464-8_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}