{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:59:32Z","timestamp":1743134372108,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319574172"},{"type":"electronic","value":"9783319574189"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57418-9_12","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T03:11:16Z","timestamp":1493003476000},"page":"193-208","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras"],"prefix":"10.1007","author":[{"given":"Wolfram","family":"Kahl","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"12_CR1","unstructured":"Bird, R.S., de Moor, O.: Algebra of Programming. International Series in Computer Science, vol. 100. Prentice Hall, Upper Saddle River (1997)"},{"key":"12_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663079","volume-title":"Data Refinement: Model-Oriented Proof Methods and Their Comparison","author":"W-P Roever de","year":"1998","unstructured":"de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and Their Comparison. Cambridge University Press, Cambridge (1998)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BFb0017395","volume-title":"Graph Grammars and Their Application to Computer Science","author":"H Ehrig","year":"1991","unstructured":"Ehrig, H., Habel, A., Kreowski, H.J., Parisi-Presicce, F.: From graph grammars to high level replacement systems. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol. 532, pp. 269\u2013287. Springer, Heidelberg (1991)"},{"key":"12_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., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006). doi:\n                      10.1007\/3-540-31188-2"},{"key":"12_CR5","volume-title":"Categories, Allegories","author":"PJ Freyd","year":"1990","unstructured":"Freyd, P.J., Scedrov, A.: Categories, Allegories, vol. 39. North-Holland Mathematical Library, Amsterdam (1990)"},{"key":"12_CR6","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. 2505, pp. 161\u2013176. Springer, Heidelberg (2002). doi:\n                      10.1007\/3-540-45832-8_14"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Kahl, W.: A relation-algebraic approach to graph structure transformation, 2001. Habil thesis, Fakult\u00e4t f\u00fcr Informatik, Univ. der Bundeswehr M\u00fcnchen, Technical report 2002\u201303. \n                      http:\/\/relmics.mcmaster.ca\/~kahl\/Publications\/RelRew\/","DOI":"10.1007\/3-540-36280-0_1"},{"key":"12_CR8","first-page":"277","volume":"1","author":"W Kahl","year":"2004","unstructured":"Kahl, W.: Refactoring heterogeneous relation algebras around ordered categories and converse. J. Relational Methods Comput. Sci. 1, 277\u2013313 (2004). \n                      http:\/\/www.jormics.org\/","journal-title":"J. Relational Methods Comput. Sci."},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-15928-2_24","volume-title":"Graph Transformations","author":"W Kahl","year":"2010","unstructured":"Kahl, W.: Amalgamating pushout and pullback graph transformation in collagories. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 362\u2013378. Springer, Heidelberg (2010). doi:\n                      10.1007\/978-3-642-15928-2_24"},{"issue":"6","key":"12_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.jlap.2011.04.006","volume":"80","author":"W Kahl","year":"2011","unstructured":"Kahl, W.: Collagories: relation-algebraic reasoning for gluing constructions. J. Logic Algebraic Programming 80(6), 297\u2013338 (2011). doi:\n                      10.1016\/j.jlap.2011.04.006","journal-title":"J. Logic Algebraic Programming"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-662-44124-4_9","volume-title":"Coalgebraic Methods in Computer Science","author":"W Kahl","year":"2014","unstructured":"Kahl, W.: Categories of coalgebras with monadic homomorphisms. In: Bonsangue, M.M. (ed.) CMCS 2014. LNCS, vol. 8446, pp. 151\u2013167. Springer, Heidelberg (2014). doi:\n                      10.1007\/978-3-662-44124-4_9\n                      \n                    . Agda theories at \n                      http:\/\/RelMiCS.McMaster.ca\/RATH-Agda\/"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"5.1","DOI":"10.14279\/tuj.eceasst.71.999","volume":"71","author":"W Kahl","year":"2015","unstructured":"Kahl, W.: Graph transformation with symbolic attributes via monadic coalgebra homomorphisms. ECEASST 71, 5.1\u20135.17 (2015). doi:\n                      10.14279\/tuj.eceasst.71.999","journal-title":"ECEASST"},{"issue":"2","key":"12_CR13","first-page":"275","volume":"27","author":"Y Kawahara","year":"1973","unstructured":"Kawahara, Y.: Notes on the universality of relational functors. Mem. Fac. Sci. Kyushu Univ. Ser. A 27(2), 275\u2013289 (1973)","journal-title":"Mem. Fac. Sci. Kyushu Univ. Ser. A"},{"issue":"2","key":"12_CR14","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D Kozen","year":"1994","unstructured":"Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Inf. Comput. 110(2), 366\u2013390 (1994)","journal-title":"Inf. Comput."},{"key":"12_CR15","unstructured":"Kozen, D.: Typed Kleene algebra. Technical report 98\u20131669, Computer Science Department, Cornell University (1998)"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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., Soboci\u0144ski, P.: Adhesive categories. In: Walukiewicz, I. (ed.) FoSSaCS 2004. LNCS, vol. 2987, pp. 273\u2013288. Springer, Heidelberg (2004). doi:\n                      10.1007\/978-3-540-24727-2_20"},{"issue":"3","key":"12_CR17","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 Inform. Th\u00e9or. Appl. 39(3), 511\u2013545 (2005). doi:\n                      10.1051\/ita:2005028","journal-title":"RAIRO Inform. Th\u00e9or. Appl."},{"issue":"1\u20132","key":"12_CR18","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic approach to single-pushout graph transformation. Theoret. Comput. Sci. 109(1\u20132), 181\u2013224 (1993). doi:\n                      10.1016\/0304-3975(93)90068-5","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR19","first-page":"185","volume-title":"Term Graph Rewriting: Theory and Practice","author":"M L\u00f6we","year":"1993","unstructured":"L\u00f6we, M., Korff, M., Wagner, A.: An algebraic framework for the transformation of attributed graphs. In: Sleep, M., Plasmeijer, M., van Eekelen, M. (eds.) Term Graph Rewriting: Theory and Practice, pp. 185\u2013199. Wiley, Hoboken (1993)"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"Functional Programming Languages and Computer Architecture","author":"E Meijer","year":"1991","unstructured":"Meijer, E., Fokkinga, M., Paterson, R.: Functional programming with bananas, lenses, envelopes and barbed wire. In: Hughes, J. (ed.) FPCA 1991. LNCS, vol. 523, pp. 124\u2013144. Springer, Heidelberg (1991). doi:\n                      10.1007\/3540543961_7"},{"key":"12_CR21","unstructured":"Norell, U.: Towards a practical programming language based on dependent type theory. Ph.D. thesis, Department of Computer Science and Engineering, Chalmers University of Technology (2007). See also \n                      http:\/\/wiki.portal.chalmers.se\/agda\/pmwiki.php"},{"key":"12_CR22","series-title":"EATCS-Monographs on Theoretical Computer Science","volume-title":"Relations and Graphs, Discrete Mathematics for Computer Scientists","author":"G Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs, Discrete Mathematics for Computer Scientists. EATCS-Monographs on Theoretical Computer Science. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57418-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:11:11Z","timestamp":1558318271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57418-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319574172","9783319574189"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57418-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"25 April 2017","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":"Lyon","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":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 May 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 May 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ens-lyon.fr\/LIP\/PLUME\/RAMiCS17\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}