{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:00:07Z","timestamp":1762459207429},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548031"},{"type":"electronic","value":"9783642548048"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54804-8_22","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:59:16Z","timestamp":1395395956000},"page":"310-324","source":"Crossref","is-referenced-by-count":7,"title":["Transformation of Attributed Structures with Cloning"],"prefix":"10.1007","author":[{"given":"Dominique","family":"Duval","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachid","family":"Echahed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederic","family":"Prost","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"22_CR1","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1721654.1721672","volume":"53","author":"M. Armbrust","year":"2010","unstructured":"Armbrust, M., Fox, A., Griffith, R., Joseph, A.D., Katz, R., Konwinski, A., Lee, G., Patterson, D., Rabkin, A., Stoica, I., Zaharia, M.: A view of cloud computing. Commun. ACM\u00a053(4), 50\u201358 (2010)","journal-title":"Commun. ACM"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Barendregt, H., Dekers, W., Statman, R.: Lambda Calculus with Types. Cambridge University Press (2013)","DOI":"10.1017\/CBO9781139032636"},{"key":"22_CR3","series-title":"LNCS","first-page":"141","volume-title":"PARLE 1987","author":"H. Barendregt","year":"1987","unstructured":"Barendregt, H., van Eekelen, M., Glauert, J., Kenneway, R., Plasmeijer, M.J., Sleep, M.: Term graph rewriting. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds.) PARLE 1987. LNCS, vol.\u00a0259, pp. 141\u2013158. Springer, Heidelberg (1987)"},{"key":"22_CR4","unstructured":"Berthold, M.R., Fischer, I., Koch, M.: Attributed graph transformation with partial attribution (2002)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Boisvert, B., F\u00e9raud, L., Soloviev, S.: Typed lambda-terms in categorical attributed graph transformation. In: Procs of AMMSE 2011. EPTCS, vol.\u00a056, pp. 33\u201347 (2011)","DOI":"10.4204\/EPTCS.56.3"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11841883_4","volume-title":"Graph Transformations","author":"A. Corradini","year":"2006","unstructured":"Corradini, A., Heindel, T., Hermann, F., K\u00f6nig, B.: Sesqui-pushout rewriting. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 30\u201345. Springer, Heidelberg (2006)"},{"key":"22_CR7","doi-asserted-by":"crossref","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: Handbook of Graph Grammars, pp. 163\u2013246 (1997)","DOI":"10.1142\/9789812384720_0003"},{"issue":"4","key":"22_CR8","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1016\/j.scico.2010.02.006","volume":"77","author":"S.A. Costa da","year":"2012","unstructured":"da Costa, S.A., Ribeiro, L.: Verification of graph grammars using a logical approach. Sci. Comput. Program.\u00a077(4), 480\u2013504 (2012)","journal-title":"Sci. Comput. Program."},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-33654-6_11","volume-title":"Graph Transformations","author":"D. Duval","year":"2012","unstructured":"Duval, D., Echahed, R., Prost, F.: Graph transformation with focus on incident edges. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 156\u2013171. Springer, Heidelberg (2012)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Duval, D., Echahed, R., Prost, F., Ribeiro, L.: Transformation of attributed structures with cloning (extended version). CoRR, abs\/1401.2751 (2014)","DOI":"10.1007\/978-3-642-54804-8_22"},{"issue":"1","key":"22_CR11","first-page":"31","volume":"74","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graphs and graph transformation based on adhesive hlr categories. Fundam. Inform.\u00a074(1), 31\u201361 (2006)","journal-title":"Fundam. Inform."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformations, vol. 2: Applications, Languages and Tools. World Scientific (1999)","DOI":"10.1142\/4180"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation - part ii: Single pushout approach and comparison with double pushout approach. In: Handbook of Graph Grammars, pp. 247\u2013312 (1997)","DOI":"10.1142\/9789812384720_0004"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformations, vol. 3: Concurrency, Parallelism and Distribution. World Scientific (1999)","DOI":"10.1142\/4181"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: An algebraic approach. In: 14th Annual Symposium on Foundations of Computer Science (FOCS), The University of Iowa, USA, October 15-17, pp. 167\u2013180. IEEE (1973)","DOI":"10.1109\/SWAT.1973.11"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-33654-6_13","volume-title":"Graph Transformations","author":"U. Golas","year":"2012","unstructured":"Golas, U.: A general attribution concept for models in ${\\cal M}$ -adhesive transformation systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 187\u2013202. Springer, Heidelberg (2012)"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/3-540-45832-8_12","volume-title":"Graph Transformation","author":"A. Habel","year":"2002","unstructured":"Habel, A., Plump, D.: Relabelling in graph transformation. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 135\u2013147. Springer, Heidelberg (2002)"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45832-8_14","volume-title":"Graph Transformation","author":"R. Heckel","year":"2002","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 161\u2013176. Springer, Heidelberg (2002)"},{"key":"22_CR19","unstructured":"L\u00f6we, M., Korff, M., Wagner, A.: An algebraic framework for the transformation of attributed graphs. In: Sleep, R., Plasmeijer, M., van Eekelen, M. (eds.) Term Graph Rewriting: Theory and Practice, ch.\u00a014, pp. 185\u2013199. John Wiley & Sons Ltd. (1993)"},{"key":"22_CR20","unstructured":"Orejas, F., Lambers, L.: Symbolic attributed graphs for attributed graph transformation. ECEASST\u00a030 (2010)"},{"key":"22_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-30203-2_11","volume-title":"Graph Transformations","author":"D. Plump","year":"2004","unstructured":"Plump, D., Steinert, S.: Towards graph programs for graph algorithms. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 128\u2013143. Springer, Heidelberg (2004)"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations, vol. 1: Foundations. World Scientific (1997)","DOI":"10.1142\/9789812384720"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. EATCS Monographs on theoretical computer science. Springer (2012)","DOI":"10.1007\/978-3-642-17336-3"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54804-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T11:18:51Z","timestamp":1689074331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54804-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548031","9783642548048"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54804-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}