{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:46:41Z","timestamp":1742914001726,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030887001"},{"type":"electronic","value":"9783030887018"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-88701-8_10","type":"book-chapter","created":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T23:06:25Z","timestamp":1634857585000},"page":"159-175","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Accretive Computation of Global Transformations"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Fernandez","sequence":"first","affiliation":[]},{"given":"Luidnel","family":"Maignan","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Spicher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,22]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1017\/S0960129517000044","volume":"18","author":"P Arrighi","year":"2018","unstructured":"Arrighi, P., Martiel, S., Nesme, V.: Cellular automata over generalized Cayley graphs. Math. Struct. Comput. Sci. 18, 340\u2013383 (2018)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2\u20133","key":"10_CR2","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/0022-0000(87)90030-4","volume":"34","author":"P Boehm","year":"1987","unstructured":"Boehm, P., Fonio, H.R., Habel, A.: Amalgamation of graph transformations: a synchronization mechanism. J. Comput. Syst. Sci. 34(2\u20133), 377\u2013408 (1987)","journal-title":"J. Comput. Syst. Sci."},{"key":"10_CR3","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. 4178, pp. 30\u201345. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11841883_4"},{"key":"10_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Golas, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation, vol. XIV. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"key":"10_CR5","first-page":"111","volume":"102","author":"H Ehrig","year":"2010","unstructured":"Ehrig, H., Golas, U., Hermann, F., et al.: Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Bull. EATCS 102, 111\u2013121 (2010)","journal-title":"Bull. EATCS"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: an algebraic approach. In: 14th Annual Symposium on Switching and Automata Theory (SWAT 1973), pp. 167\u2013180. IEEE (1973)","DOI":"10.1109\/SWAT.1973.11"},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/0304-3975(80)90016-X","volume":"11","author":"H Ehrig","year":"1980","unstructured":"Ehrig, H., Rosen, B.K.: Parallelism and concurrency of graph manipulations. Theor. Comput. Sci. 11(3), 247\u2013275 (1980)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-030-19311-9_7","volume-title":"Unconventional Computation and Natural Computation","author":"A Fernandez","year":"2019","unstructured":"Fernandez, A., Maignan, L., Spicher, A.: Lindenmayer systems and global transformations. In: McQuillan, I., Seki, S. (eds.) UCNC 2019. LNCS, vol. 11493, pp. 65\u201378. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-19311-9_7"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Fernandez, A., Maignan, L., Spicher, A.: Accretive computation of global transformations - extended version. arXiv preprint arXiv:2103.09636 (2021)","DOI":"10.1007\/978-3-030-88701-8_10"},{"key":"10_CR10","doi-asserted-by":"publisher","unstructured":"Fernandez, A., Maignan, L., Spicher, A.: Cellular automata and Kan extensions. In: 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2021, Aix-Marseille University, France. OASIcs, 12\u201314 July 2021, vol. 90, pp. 7:1\u20137:12. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021). https:\/\/doi.org\/10.4230\/OASIcs.AUTOMATA.2021.7","DOI":"10.4230\/OASIcs.AUTOMATA.2021.7"},{"issue":"2","key":"10_CR11","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1137\/0206024","volume":"6","author":"DE Knuth","year":"1977","unstructured":"Knuth, D.E., Morris, J.H., Jr., Pratt, V.R.: Fast pattern matching in strings. SIAM J. Comput. 6(2), 323\u2013350 (1977)","journal-title":"SIAM J. Comput."},{"issue":"3","key":"10_CR12","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1051\/ita:2005028","volume":"39","author":"S Lack","year":"2005","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive and quasiadhesive categories. RAIRO Theor. Inform. Appl. 39(3), 511\u2013545 (2005)","journal-title":"RAIRO Theor. Inform. Appl."},{"key":"10_CR13","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"2013","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, vol. 5. Springer, New York (2013)"},{"key":"10_CR14","unstructured":"Maignan, L., Spicher, A.: Global graph transformations. In: GCM@ ICGT, pp. 34\u201349 (2015)"},{"issue":"1","key":"10_CR15","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0304-3975(93)90239-P","volume":"112","author":"YV Srinivas","year":"1993","unstructured":"Srinivas, Y.V.: A sheaf-theoretic approach to pattern matching and related problems. Theor. Comput. Sci. 112(1), 53\u201397 (1993)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-88701-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T05:54:58Z","timestamp":1673589298000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-88701-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030887001","9783030887018"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-88701-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"22 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMiCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marseille","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ramics19.lis-lab.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}