References

  1. Nicolas Behr (2019): Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework. In: 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, pp. 23–52, doi:10.4204/eptcs.309.2.
  2. Nicolas Behr (2020): Tracelets and Tracelet Analysis Of Compositional Rewriting Systems. In: 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, pp. 44–71, doi:10.4204/EPTCS.323.4.
  3. Nicolas Behr (2021): On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods. In: Proceedings of TERMGRAPH 2020 334, pp. 11–28, doi:10.4204/eptcs.334.2.
  4. Nicolas Behr, Vincent Danos & Ilias Garnier (2016): Stochastic mechanics of graph rewriting. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16. ACM Press, doi:10.1145/2933575.2934537.
  5. Nicolas Behr, Vincent Danos, Ilias Garnier & Tobias Heindel (2016): The algebras of graph rewriting. arXiv preprint arXiv:1612.06240.
  6. Nicolas Behr & Jean Krivine (2021): Compositionality of Rewriting Rules with Conditions. Compositionality 3, doi:10.32408/compositionality-3-2.
  7. 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, pp. 68–115, doi:10.1016/j.tcs.2021.07.026.
  8. Nicolas Behr & Pawel Sobocinski (2018): Rule Algebras for Adhesive Categories. In: 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, pp. 11:1–11:21, doi:10.4230/LIPIcs.CSL.2018.11.
  9. Nicolas Behr & Pawel Sobocinski (2020): Rule Algebras for Adhesive Categories (extended journal version). Logical Methods in Computer Science Volume 16, Issue 3. Available at https://lmcs.episciences.org/6615.
  10. Pierre Boutillier (2018): The Kappa platform for rule-based modeling. Bioinformatics 34(13), pp. i583–i592, doi:10.1093/bioinformatics/bty272.
  11. Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel & Ulrike Golas (2014): Finitary M -adhesive categories. Mathematical Structures in Computer Science 24(4), pp. 240403–240443, doi:10.1017/S0960129512000321.
  12. Tobias Dyckerhoff & Mikhail Kapranov (2019): Higher Segal spaces. Lecture Notes in Mathematics 2244. Springer-Verlag, doi:10.1007/978-3-030-27124-4_1.
  13. H. Ehrig, K. Ehrig, U. Prange & G. Taentzer (2006): Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series, doi:10.1007/3-540-31188-2.
  14. 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), doi:10.1017/s0960129512000357.
  15. Imma Gálvez-Carrillo, Joachim Kock & Andrew Tonks (2016): Decomposition spaces in combinatorics. Preprint, arXiv:1612.09225.
  16. Imma Gálvez-Carrillo, Joachim Kock & Andrew Tonks (2018): Decomposition spaces, incidence algebras and Möbius inversion I: Basic theory. Adv. Math. 331, pp. 952–1015, doi:10.1016/j.aim.2018.03.016.
  17. 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, pp. 1242–1292, doi:10.1016/j.aim.2018.03.017.
  18. Imma Gálvez-Carrillo, Joachim Kock & Andrew Tonks (2020): Decomposition spaces and restriction species. Int. Math. Res. Notices 2020(21), pp. 7558–7616, doi:10.1093/imrn/rny089.
  19. Philip Hackney & Joachim Kock (2021): Free decomposition spaces. In preparation.
  20. Stephen Lack & PawełSobociński (2004): Adhesive Categories. In: Igor Walukiewicz: Foundations of Software Science and Computation Structures (FoSSaCS 2004), Lecture Notes in Computer Science 2987. Springer Berlin Heidelberg, pp. 273–288, doi:10.1007/978-3-540-24727-2_20.
  21. Dominique Manchon (2008): Hopf algebras in renormalisation. Handbook of algebra 5, pp. 365–427, doi:10.1016/S1570-7954(07)05007-3.
  22. Gian-Carlo Rota (1964): On the foundations of combinatorial theory. I. Theory of Möbius functions. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 2, pp. 340–368 (1964), doi:10.1007/BF00531932. Available at https://www.maths.ed.ac.uk/~v1ranick/papers/rota1.pdf.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org