@article(BdlTE20c, author = {{Boy de la Tour}, T. and R. Echahed}, year = {2020}, title = {Parallel Rewriting of Attributed Graphs}, journal = {Theoretical Computer Science}, volume = {848}, pages = {106--132}, doi = {10.1016/j.tcs.2020.09.025}, ) @inproceedings(BdlTE21a, author = {{Boy de la Tour}, T. and R. Echahed}, year = {2021}, title = {Parallel Coherent Graph Transformations}, booktitle = {Recent Trends in Algebraic Development Techniques, 25th International Workshop, WADT 2020, Revised Selected Papers}, series = {LNCS}, volume = {12669}, publisher = {Springer}, pages = {75--97}, doi = {10.1007/978-3-030-73785-6\_5}, ) @misc(BdlT23a, author = {{Boy de la Tour}, Thierry}, year = {2023}, title = {Algebraic Monograph Transformations}, doi = {10.48550/ARXIV.2303.01137}, ) @article(CorradiniDEPR19, author = {Andrea Corradini and Dominique Duval and Rachid Echahed and Fr{\'{e}}d{\'{e}}ric Prost and Leila Ribeiro}, year = {2019}, title = {The {PBPO} graph transformation approach}, journal = {J. Log. Algebr. Meth. Program.}, volume = {103}, pages = {213--231}, doi = {10.1016/j.jlamp.2018.12.003}, ) @inproceedings(CorradiniHHK06, author = {Andrea Corradini and Tobias Heindel and Frank Hermann and Barbara K{\"{o}}nig}, year = {2006}, title = {Sesqui-Pushout Rewriting}, booktitle = {{ICGT} 2006}, series = {LNCS}, volume = {4178}, publisher = {Springer}, pages = {30--45}, doi = {10.1007/11841883\_4}, ) @inproceedings(HndBkCorradiniMREHL97, author = {Andrea Corradini and Ugo Montanari and Francesca Rossi and Hartmut Ehrig and Reiko Heckel and Michael L{\"{o}}we}, year = {1997}, title = {Algebraic Approaches to Graph Transformation - Part {I:} Basic Concepts and Double Pushout Approach}, editor = {Grzegorz Rozenberg}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}, publisher = {World Scientific}, pages = {163--246}, doi = {10.1142/9789812384720\_0003}, ) @inproceedings(Ehrig79, author = {Hartmut Ehrig}, year = {1979}, title = {Introduction to the algebraic theory of graph grammars (a survey)}, editor = {Volker Claus and Hartmut Ehrig and Grzegorz Rozenberg}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {1--69}, doi = {10.1007/BFb0025714}, ) @book(EhrigEPT06, author = {Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer}, year = {2006}, title = {Fundamentals of Algebraic Graph Transformation}, series = {Monographs in Theoretical Computer Science. An {EATCS} Series}, publisher = {Springer}, doi = {10.1007/3-540-31188-2}, ) @inproceedings(FernandezMS21, author = {Alexandre Fernandez and Luidnel Maignan and Antoine Spicher}, year = {2021}, title = {Cellular Automata and Kan Extensions}, editor = {Castillo{-}Ramirez, Alonso and Pierre Guillon and K{\'{e}}vin Perrot}, booktitle = {27th {IFIP} {WG} 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, {AUTOMATA} 2021}, series = {OASIcs}, volume = {90}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, pages = {7:1--7:12}, doi = {10.4230/OASIcs.AUTOMATA.2021.7}, ) @inproceedings(FernandezMS22, author = {Alexandre Fernandez and Luidnel Maignan and Antoine Spicher}, year = {2022}, title = {Non-Determinism in Lindenmayer Systems and Global Transformations}, editor = {Stefan Szeider and Robert Ganian and Alexandra Silva}, booktitle = {47th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2022}, series = {LIPIcs}, volume = {241}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, pages = {49:1--49:13}, doi = {10.4230/LIPIcs.MFCS.2022.49}, ) @article(LackS05, author = {Stephen Lack and Pawel Sobocinski}, year = {2005}, title = {Adhesive and quasiadhesive categories}, journal = {Informatique Th\'{e}orique et Applications}, volume = {39}, number = {3}, pages = {511--545}, doi = {10.1051/ita:2005028}, ) @phdthesis(Lawvere93, author = {F. W. Lawvere}, year = {1963}, title = {Functorial Semantics of Algebraic Theories}, school = {Columbia University}, doi = {10.1073/pnas.50.5.869}, url = {http://www.tac.mta.ca/tac/reprints/articles/5/tr5abs.html}, ) @article(Lowe93, author = {Michael L\"{o}we}, year = {1993}, title = {Algebraic Approach to Single-Pushout Graph Transformation}, journal = {Theoretical Computer Science}, volume = {109}, pages = {181--224}, doi = {10.1016/0304-3975(93)90068-5}, ) @inproceedings(Lowe15, author = {Michael L{\"{o}}we}, year = {2015}, title = {Polymorphic Sesqui-Pushout Graph Rewriting}, editor = {Parisi{-}Presicce, Francesco and Bernhard Westfechtel}, booktitle = {Graph Transformation - 8th International Conference, {ICGT} 2015}, series = {Lecture Notes in Computer Science}, volume = {9151}, publisher = {Springer}, pages = {3--18}, doi = {10.1007/978-3-319-21145-9\_1}, ) @book(MacLane, author = {{Mac Lane}, Saunders}, year = {1997}, title = {Categories for the Working Mathematician}, edition = {2nd}, series = {Graduate Texts in Mathematics}, volume = {5}, publisher = {Springer-Verlag}, address = {New York}, doi = {10.1007/978-1-4757-4721-8}, note = {(1st ed., 1971)}, ) @inproceedings(MaignanS15, author = {Luidnel Maignan and Antoine Spicher}, year = {2015}, title = {Global Graph Transformations}, editor = {Detlef Plump}, booktitle = {Proceedings of the 6th International Workshop on Graph Computation Models}, series = {{CEUR} Workshop Proceedings}, volume = {1403}, publisher = {CEUR-WS.org}, pages = {34--49}, url = {http://ceur-ws.org/Vol-1403/paper4.pdf}, ) @phdthesis(SellingerPhd97, author = {Peter Selinger}, year = {1997}, title = {Functionality, Polymorphism, and Concurrency: a Mathematical Investigation of Programming Paradigms}, school = {University of Pennsylvania}, note = {Technical Report No. IRCS-97-17}, )