{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T08:10:20Z","timestamp":1738224620125,"version":"3.34.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540797081"},{"type":"electronic","value":"9783540797098"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79709-8_39","type":"book-chapter","created":{"date-parts":[[2008,5,13]],"date-time":"2008-05-13T14:33:17Z","timestamp":1210689197000},"page":"398-409","source":"Crossref","is-referenced-by-count":5,"title":["A Unified Categorical Approach for Attributed Graph Rewriting"],"prefix":"10.1007","author":[{"given":"Maxime","family":"Rebout","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louis","family":"F\u00e9raud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergei","family":"Soloviev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","volume-title":"Compilers: Principles, Techniques and Tools","author":"A.V. Aho","year":"1988","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading (1988)"},{"key":"39_CR2","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Graph Transformations in Computer Science","author":"K. Aizawa","year":"1994","unstructured":"Aizawa, K., Nakamura, A.: Path-controlled graph grammars for multi-resolution image processing and analysis. In: Ehrig, H., Schneider, H.-J. (eds.) Dagstuhl Seminar 1993. LNCS, vol.\u00a0776, pp. 1\u201318. Springer, Heidelberg (1994)"},{"key":"39_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Compiler Construction","author":"U. Assmann","year":"1996","unstructured":"Assmann, U.: How to uniformly specify program analysis and transformation with graph rewrite systems. In: Gyim\u00f3thy, T. (ed.) CC 1996. LNCS, vol.\u00a01060. Springer, Heidelberg (1996)"},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: A software engineering perspective. In: Corradini et\u00a0al. [6], pp. 402\u2013429","DOI":"10.1007\/3-540-45832-8_30"},{"key":"39_CR5","unstructured":"Chemouil, D.: Types inductifs, isomorphismes et r\u00e9criture extensionnelle. PhD thesis, Universit\u00e9 Paul Sabatier (2004)"},{"key":"39_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Graph Transformation","year":"2002","unstructured":"Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.): ICGT 2002. LNCS, vol.\u00a02505. Springer, Heidelberg (2002)"},{"key":"39_CR7","unstructured":"The\u00a0Coq development team. The Coq proof assistant reference manual: Version 8.1. Technical report, LogiCal Project (2006)"},{"key":"39_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0025714","volume-title":"Graph-Grammars and Their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the algebraic theory of graph grammars (A survey). In: Ng, E.W., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol.\u00a073, pp. 1\u201369. Springer, Heidelberg (1979)"},{"key":"39_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2006.01.011","volume":"152","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K.: Overview of formal concepts for model transformations based on typed attributed graph transformation. Electr. Notes Theor. Comput. Sci.\u00a0152, 3\u201322 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"39_CR10","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)"},{"key":"39_CR11","first-page":"167","volume-title":"FOCS","author":"H. Ehrig","year":"1973","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: An algebraic approach. In: FOCS, pp. 167\u2013180. IEEE, Los Alamitos (1973)"},{"key":"39_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-540-30203-2_13","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 161\u2013177. Springer, Heidelberg (2004)"},{"key":"39_CR13","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-28554-7_5","volume-title":"Model Driven Software Engineering","author":"L. Grunske","year":"2005","unstructured":"Grunske, L., Geiger, L., Z\u00fcndorf, A., Van Eetvelde, N., Van Gorp, P., Varr\u00f3, D.: Using Graph Transformation for Practical Model Driven Software Engineering. In: Model Driven Software Engineering, pp. 91\u2013118. Springer, Heidelberg (2005)"},{"key":"39_CR14","doi-asserted-by":"crossref","unstructured":"Habel, A., Plump, D.: Relabelling in graph transformation. In: Corradini et\u00a0al. [6], pp. 135\u2013147","DOI":"10.1007\/3-540-45832-8_12"},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"Kahl, W.: A relational-algebraic approach to graph structure transformation. PhD thesis, Universit\u00e4t der Bundeswehr M\u00fcnchen (2001)","DOI":"10.1007\/3-540-36280-0_1"},{"issue":"2","key":"39_CR16","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.entcs.2005.03.030","volume":"154","author":"H. Kastenberg","year":"2006","unstructured":"Kastenberg, H.: Towards attributed graphs in Groove: Work in progress. Electr. Notes Theor. Comput. Sci.\u00a0154(2), 47\u201354 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"39_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-540-24727-2_20","volume-title":"Foundations of Software Science and Computation Structures","author":"S. Lack","year":"2004","unstructured":"Lack, S., Sobocinski, P.: Adhesive categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 273\u2013288. Springer, Heidelberg (2004)"},{"key":"39_CR18","doi-asserted-by":"crossref","unstructured":"Llad\u00f3s, J., S\u00e1nchez, G.: Symbol recognition using graphs. In: ICIP (2), pp. 49\u201352 (2003)","DOI":"10.1109\/ICIP.2003.1246613"},{"key":"39_CR19","unstructured":"Rebout, M.: Algebraic transformations for attributed graphs. Technical report, IRIT, Toulouse (2007)"},{"key":"39_CR20","series-title":"Foundations","doi-asserted-by":"crossref","DOI":"10.1142\/3303","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations","author":"G. Rozenberg","year":"1997","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"39_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/3-540-45104-8_41","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G. Taentzer","year":"2000","unstructured":"Taentzer, G.: AGG: A tool environment for algebraic graph transformation. In: M\u00fcnch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol.\u00a01779, pp. 481\u2013488. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Computer Science \u2013 Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79709-8_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T07:48:14Z","timestamp":1738223294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79709-8_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540797081","9783540797098"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79709-8_39","relation":{},"subject":[]}}