Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework

Nicolas Behr 2019 Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework Rachid Echahed Detlef Plump Proceedings of the Tenth International Workshop on Graph Computation Models (GCM 2019) in Eindhoven, The Netherlands Electronic Proceedings in Theoretical Computer Science 309 Open Publishing Association 23–52 10.4204/eptcs.309.2 Nicolas Behr 2020 Tracelets and Tracelet Analysis Of Compositional Rewriting Systems John Baez Bob Coecke Proceedings Applied Category Theory 2019, University of Oxford, UK, 15–19 July 2019 Electronic Proceedings in Theoretical Computer Science 323 Open Publishing Association 44–71 10.4204/EPTCS.323.4 Nicolas Behr 2021 On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods Proceedings of TERMGRAPH 2020 334 11–28 10.4204/eptcs.334.2 Nicolas Behr Vincent Danos Ilias Garnier 2016 Stochastic mechanics of graph rewriting Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 ACM Press 10.1145/2933575.2934537 Nicolas Behr Vincent Danos Ilias Garnier Tobias Heindel 2016 The algebras of graph rewriting arXiv preprint arXiv:1612.06240 Nicolas Behr Jean Krivine 2021 Compositionality of Rewriting Rules with Conditions Compositionality 3 10.32408/compositionality-3-2 Nicolas Behr Jean Krivine Jakob L. Andersen Daniel Merkle 2021 Rewriting theory for the life sciences: A unifying theory of CTMC semantics Theoretical Computer Science 884 68–115 10.1016/j.tcs.2021.07.026 Nicolas Behr Pawel Sobocinski 2018 Rule Algebras for Adhesive Categories Dan Ghica Achim Jung 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) Leibniz International Proceedings in Informatics (LIPIcs) 119 Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik

Dagstuhl, Germany

11:1–11:21 10.4230/LIPIcs.CSL.2018.11 Nicolas Behr Pawel Sobocinski 2020 Rule Algebras for Adhesive Categories (extended journal version) Logical Methods in Computer Science Volume 16, Issue 3 https://lmcs.episciences.org/6615 Pierre Boutillier 2018 The Kappa platform for rule-based modeling Bioinformatics 34 13 i583–i592 10.1093/bioinformatics/bty272 Benjamin Braatz Hartmut Ehrig Karsten Gabriel Ulrike Golas 2014 Finitary M -adhesive categories Mathematical Structures in Computer Science 24 4 240403–240443 10.1017/S0960129512000321 Tobias Dyckerhoff Mikhail Kapranov 2019 Higher Segal spaces Lecture Notes in Mathematics 2244 Springer-Verlag 10.1007/978-3-030-27124-4_1 H. Ehrig K. Ehrig U. Prange G. Taentzer 2006 Fundamentals of Algebraic Graph Transformation Monographs in Theoretical Computer Science. An EATCS Series 10.1007/3-540-31188-2 Hartmut Ehrig Ulrike Golas Annegret Habel Leen Lambers Fernando Orejas 2014 M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation Mathematical Structures in Computer Science 24 04 10.1017/s0960129512000357 Imma Gálvez-Carrillo Joachim Kock Andrew Tonks 2016 Decomposition spaces in combinatorics Preprint, arXiv:1612.09225 Imma Gálvez-Carrillo Joachim Kock Andrew Tonks 2018 Decomposition spaces, incidence algebras and Möbius inversion I: Basic theory Adv. Math. 331 952–1015 10.1016/j.aim.2018.03.016 Imma Gálvez-Carrillo Joachim Kock Andrew Tonks 2018 Decomposition spaces, incidence algebras and Möbius inversion II: Completeness, length filtration, and finiteness Adv. Math. 333 1242–1292 10.1016/j.aim.2018.03.017 Imma Gálvez-Carrillo Joachim Kock Andrew Tonks 2020 Decomposition spaces and restriction species Int. Math. Res. Notices 2020 21 7558–7616 10.1093/imrn/rny089 Philip Hackney Joachim Kock 2021 Free decomposition spaces In preparation Stephen Lack PawełSobociński 2004 Adhesive Categories Igor Walukiewicz Foundations of Software Science and Computation Structures (FoSSaCS 2004) Lecture Notes in Computer Science 2987 Springer Berlin Heidelberg 273–288 10.1007/978-3-540-24727-2_20 Dominique Manchon 2008 Hopf algebras in renormalisation Handbook of algebra 5 365–427 10.1016/S1570-7954(07)05007-3 Gian-Carlo Rota 1964 On the foundations of combinatorial theory. I. Theory of Möbius functions Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 2 340–368 (1964) 10.1007/BF00531932 https://www.maths.ed.ac.uk/~v1ranick/papers/rota1.pdf