@book(Anderson_1991,
 author       = {W.J. Anderson},
 year         = {1991},
 title        = {{Continuous-Time Markov Chains}},
 publisher    = {Springer New York},
 doi          = {10.1007/978-1-4612-3038-0},
)
@article(b2019c,
 author       = {N. Behr},
 year         = {2019},
 title        = {{Tracelets and Tracelet Analysis Of Compositional Rewriting Systems}},
 journal      = {\href{https://arxiv.org/abs/1904.12829}{arXiv preprint arXiv:1904.12829}},
)
@inproceedings(bdg2016,
 author       = {N. Behr and V. Danos and I. Garnier},
 year         = {2016},
 title        = {Stochastic mechanics of graph rewriting},
 booktitle    = {Proceedings of the 31st Annual {ACM}/{IEEE} Symposium on Logic in Computer Science - {LICS} '16},
 publisher    = {{ACM} Press},
 doi          = {10.1145/2933575.2934537},
)
@article(bdg2019,
 author       = {N. Behr and V. Danos and I. Garnier},
 year         = {2019},
 title        = {{Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems}},
 journal      = {arXiv preprint \href{https://arxiv.org/abs/1904.07313}{1904.07313}},
)
@article(bdgh2016,
 author       = {N. Behr and V. Danos and I. Garnier and T. Heindel},
 year         = {2016},
 title        = {{The algebras of graph rewriting}},
 journal      = {\href{https://arxiv.org/abs/1612.06240}{arXiv:1612.06240}},
)
@article(bdp2017,
 author       = {N. Behr and G.H.E. Duchamp and K.A. Penson},
 year         = {2017},
 title        = {{Combinatorics of Chemical Reaction Systems}},
 journal      = {\href{https://arxiv.org/abs/1712.06575}{arXiv:1712.06575}},
)
@inproceedings(bp2018,
 author       = {N. Behr and P. Sobocinski},
 year         = {2018},
 title        = {{Rule Algebras for Adhesive Categories}},
 editor       = {Dan Ghica and Achim Jung},
 booktitle    = {27th EACSL Annual Conference on Computer Science Logic (CSL 2018)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {119},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {11:1--11:21},
 doi          = {10.4230/LIPIcs.CSL.2018.11},
)
@article(bp2019-ext,
 author       = {N. Behr and P. Sobocinski},
 year         = {2019},
 title        = {{Rule Algebras for Adhesive Categories (invited extended journal version)}},
 journal      = {arXiv preprint \href{https://arxiv.org/abs/1807.00785v2}{1807.00785v2}},
)
@article(blasiak2005boson,
 author       = {P. Blasiak and G.H.E. Duchamp and A. Horzela and K.A. Penson and A.I. Solomon},
 year         = {2005},
 title        = {{Boson normal ordering via substitutions and Sheffer-Type Polynomials}},
 journal      = {Physics Letters A},
 volume       = {338},
 number       = {2},
 pages        = {108--116},
 doi          = {10.1016/j.physleta.2005.02.028},
)
@article(blasiak2010combinatorial,
 author       = {P. Blasiak and G.H.E. Duchamp and A. Horzela and K.A. Penson and A.I. Solomon},
 year         = {2010},
 title        = {{Combinatorial Algebra for second-quantized Quantum Theory}},
 journal      = {Advances in Theoretical and Mathematical Physics},
 volume       = {14},
 number       = {4},
 pages        = {1209--1243},
 doi          = {10.4310/atmp.2010.v14.n4.a5},
)
@article(blasiak2011combinatorial,
 author       = {P. Blasiak and P. Flajolet},
 year         = {2011},
 title        = {{Combinatorial Models of Creation-Annihilation}},
 journal      = {S{\'e}minaire Lotharingien de Combinatoire},
 volume       = {65},
 number       = {B65c},
 pages        = {1--78},
)
@inproceedings(Braatz:2010aa,
 author       = {B. Braatz and H. Ehrig and K. Gabriel and U. Golas},
 year         = {2010},
 title        = {{Finitary $\mathcal{M}$ -Adhesive Categories}},
 editor       = {H. Ehrig and A. Rensink and G. Rozenberg and A. Sch{\"u}rr},
 booktitle    = {Graph Transformations (ICGT 2010)},
 series       = {Lecture Notes in Computer Science},
 volume       = {6372},
 publisher    = {Springer, Berlin, Heidelberg},
 pages        = {234--249},
 doi          = {10.1007/978-3-642-15928-2_16},
)
@article(Cockett_2003,
 author       = {J.R.B. Cockett and S. Lack},
 year         = {2003},
 title        = {{Restriction categories {II}: partial map classification}},
 journal      = {Theoretical Computer Science},
 volume       = {294},
 number       = {1-2},
 pages        = {61--102},
 doi          = {10.1016/s0304-3975(01)00245-6},
)
@inproceedings(Corradini_2015,
 author       = {A. Corradini and D. Duval and R. Echahed and F. Prost and L. Ribeiro},
 year         = {2015},
 title        = {{AGREE {\textendash} Algebraic Graph Rewriting with Controlled Embedding}},
 editor       = {Parisi-Presicce, Francesco and Bernhard Westfechtel},
 booktitle    = {Graph Transformation (ICGT 2015)},
 series       = {Lecture Notes in Computer Science},
 volume       = {9151},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {35--51},
 doi          = {10.1007/978-3-319-21145-9_3},
)
@inproceedings(Corradini2018,
 author       = {A. Corradini and D. Duval and M. L\"{o}we and L. Ribeiro and R. Machado and A. Costa and G. Grochau Azzi and J. Santos Bezerra and L. Marques Rodrigues},
 year         = {2018},
 title        = {{On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches}},
 editor       = {R. Heckel and G. Taentzer},
 booktitle    = {Graph Transformation, Specifications, and Nets},
 series       = {Lecture Notes in Computer Science},
 volume       = {10800},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {1--18},
 doi          = {10.1007/978-3-319-75396-6_1},
)
@inproceedings(Corradini_2006,
 author       = {A. Corradini and T. Heindel and F. Hermann and B. K\"{o}nig},
 year         = {2006},
 title        = {{Sesqui-Pushout Rewriting}},
 editor       = {A. Corradini and H. Ehrig and U. Montanari and L. Ribeiro and G. Rozenberg},
 booktitle    = {Graph Transformations (ICGT 2006)},
 series       = {Lecture Notes in Computer Science},
 volume       = {4178},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {30--45},
 doi          = {10.1007/11841883_4},
)
@inproceedings(DBLP:conf/gg/CorradiniMREHL97,
 author       = {A. Corradini and U. Montanari and F. Rossi and H. Ehrig and R. Heckel and M. L{\"{o}}we},
 year         = {1997},
 title        = {{Algebraic Approaches to Graph Transformation - Part {I:} Basic Concepts and Double Pushout Approach}},
 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(danos2012graphs,
 author       = {V. Danos and J. Feret and W. Fontana and R. Harmer and J. Hayman and J. Krivine and Thompson-Walsh, C. and G. Winskel},
 year         = {2012},
 title        = {{Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models}},
 editor       = {D. D'Souza and T. Kavitha and J. Radhakrishnan},
 booktitle    = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {18},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {276--288},
 doi          = {10.4230/LIPIcs.FSTTCS.2012.276},
)
@inproceedings(danos2008rule,
 author       = {V. Danos and J. Feret and W. Fontana and R. Harmer and J. Krivine},
 year         = {2008},
 title        = {Rule-Based Modelling, Symmetries, Refinements},
 editor       = {Jasmin Fisher},
 booktitle    = {Formal Methods in Systems Biology (FMSB 2008)},
 series       = {Lecture Notes in Computer Science},
 volume       = {5054},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {103--122},
 doi          = {10.1007/978-3-540-68413-8_8},
)
@inproceedings(Danos_2010,
 author       = {V. Danos and J. Feret and W. Fontana and R. Harmer and J. Krivine},
 year         = {2010},
 title        = {Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction},
 booktitle    = {2010 25th Annual {IEEE} Symposium on Logic in Computer Science},
 publisher    = {{IEEE}},
 doi          = {10.1109/lics.2010.44},
)
@article(danos2004formal,
 author       = {V. Danos and C. Laneve},
 year         = {2004},
 title        = {Formal molecular biology},
 journal      = {Theoretical Computer Science},
 volume       = {325},
 number       = {1},
 pages        = {69--110},
 doi          = {10.1016/j.tcs.2004.03.065},
)
@article(Dattoli:1997iz,
 author       = {G. Dattoli and P. L. Ottaviani and A. Torre and L. Vazquez},
 year         = {1997},
 title        = {{Evolution operator equations: Integration with algebraic and finite-difference methods: Applications to physical problems in classical and quantum mechanics and quantum field theory}},
 journal      = {Riv. Nuovo Cim.},
 volume       = {20N2},
 pages        = {1--133},
 doi          = {10.1007/BF02907529},
)
@article(EHRIG:2014ma,
 author       = {H. Ehrig and U. Golas and A. Habel and L. Lambers and F. Orejas},
 year         = {2014},
 title        = {{$\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {24},
 number       = {04},
 doi          = {10.1017/s0960129512000357},
)
@article(Ehrig1991,
 author       = {H. Ehrig and A. Habel and H.J. Kreowski and Parisi-Presicce, F.},
 year         = {1991},
 title        = {Parallelism and concurrency in high-level replacement systems},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {1},
 number       = {3},
 pages        = {361--404},
 doi          = {10.1017/s0960129500001353},
)
@inproceedings(ehrig2004adhesive,
 author       = {H. Ehrig and A. Habel and J. Padberg and U. Prange},
 year         = {2004},
 title        = {{Adhesive High-Level Replacement Categories and Systems}},
 editor       = {H. Ehrig and G. Engels and Parisi-Presicce, F. and G. Rozenberg},
 booktitle    = {Graph Transformations (ICGT 2004)},
 series       = {Lecture Notes in Computer Science},
 volume       = {3256},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {144--160},
 doi          = {10.1007/978-3-540-30203-2_12},
)
@inproceedings(Ehrig1973,
 author       = {H. Ehrig and M. Pfender and H. J. Schneider},
 year         = {1973},
 title        = {{Graph-grammars: An algebraic approach}},
 booktitle    = {14th Annual Symposium on Switching and Automata Theory (SWAT 1973)},
 publisher    = {{IEEE}},
 doi          = {10.1109/swat.1973.11},
)
@article(GOLAS2014,
 author       = {U. Golas and A. Habel and H. Ehrig},
 year         = {2014},
 title        = {{Multi-amalgamation of rules with application conditions in $\mathcal{M}$-adhesive categories}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {24},
 number       = {04},
 doi          = {10.1017/s0960129512000345},
)
@book(hall2015lieGroups,
 author       = {B.C. Hall},
 year         = {2015},
 title        = {{Lie Groups, Lie Algebras, and Representations}},
 publisher    = {Springer International Publishing},
 doi          = {10.1007/978-3-319-13467-3},
)
@inproceedings(Heckel2005,
 author       = {R. Heckel},
 year         = {2005},
 title        = {{Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks}},
 editor       = {D. Van Hung and M. Wirsing},
 booktitle    = {Theoretical Aspects of Computing ({ICTAC} 2005)},
 series       = {Lecture Notes in Computer Science},
 volume       = {3722},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {53--69},
 doi          = {10.1007/11560647_4},
)
@inproceedings(Heckel2012,
 author       = {R. Heckel and H. Ehrig and U. Golas and F. Hermann},
 year         = {2012},
 title        = {{Parallelism and Concurrency of Stochastic Graph Transformations}},
 editor       = {H. Ehrig and G. Engels and H.J. Kreowski and G. Rozenberg},
 booktitle    = {Graph Transformations (ICGT 2012)},
 series       = {Lecture Notes in Computer Science},
 volume       = {7562},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {96--110},
 doi          = {10.1007/978-3-642-33654-6_7},
)
@inproceedings(Heckel_2004,
 author       = {R. Heckel and G. Lajios and S. Menge},
 year         = {2004},
 title        = {{Stochastic Graph Transformation Systems}},
 editor       = {H. Ehrig and G. Engels and Parisi-Presicce, F. and G. Rozenberg},
 booktitle    = {Graph Transformations (ICGT 2004)},
 series       = {Lecture Notes in Computer Science},
 volume       = {3256},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {210--225},
 doi          = {10.1007/978-3-540-30203-2_16},
)
@inproceedings(Kennaway,
 author       = {R. Kennaway},
 year         = {1990},
 title        = {{Graph rewriting in some categories of partial morphisms}},
 editor       = {H. Ehrig and H.J. Kreowski and G. Rozenberg},
 booktitle    = {Graph Grammars and Their Application to Computer Science (Graph Grammars 1990)},
 volume       = {532},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {490--504},
 doi          = {10.1007/bfb0017408},
)
@inproceedings(Krause2012,
 author       = {C. Krause and H. Giese},
 year         = {2012},
 title        = {{Probabilistic Graph Transformation Systems}},
 editor       = {H. Ehrig and G. Engels and H.J. Kreowski and G. Rozenberg},
 booktitle    = {Graph Transformations (ICGT 2012)},
 series       = {Lecture Notes in Computer Science},
 volume       = {7562},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {311--325},
 doi          = {10.1007/978-3-642-33654-6_21},
)
@article(lack2005adhesive,
 author       = {S. Lack and P. Soboci{\'{n}}ski},
 year         = {2005},
 title        = {{Adhesive and quasiadhesive categories}},
 journal      = {{RAIRO} - Theoretical Informatics and Applications},
 volume       = {39},
 number       = {3},
 pages        = {511--545},
 doi          = {10.1051/ita:2005028},
)
@article(Loewe_1993,
 author       = {M. L\"{o}we},
 year         = {1993},
 title        = {{Algebraic approach to single-pushout graph transformation}},
 journal      = {Theoretical Computer Science},
 volume       = {109},
 number       = {1-2},
 pages        = {181--224},
 doi          = {10.1016/0304-3975(93)90068-5},
)
@inproceedings(Loewe_2015,
 author       = {M. L\"{o}we},
 year         = {2015},
 title        = {{Polymorphic Sesqui-Pushout Graph Rewriting}},
 editor       = {Parisi-Presicce, F. and B. Westfechtel},
 booktitle    = {Graph Transformation (ICGT 2015)},
 series       = {Lecture Notes in Computer Science},
 volume       = {9151},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {3--18},
 doi          = {10.1007/978-3-319-21145-9_1},
)
@inproceedings(Loewe_2018,
 author       = {M. L\"{o}we},
 year         = {2018},
 title        = {{Characterisation of Parallel Independence in {AGREE}-Rewriting}},
 editor       = {L. Lambers and J. Weber},
 booktitle    = {Graph Transformation (ICGT 2018)},
 series       = {Lecture Notes in Computer Science},
 volume       = {10887},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {118--133},
 doi          = {10.1007/978-3-319-92991-0_8},
)
@inproceedings(Loewe_2014,
 author       = {M. L\"{o}we and H. K\"{o}nig and C. Schulz},
 year         = {2014},
 title        = {{Polymorphic Single-Pushout Graph Transformation}},
 editor       = {S. Gnesi and A. Rensink},
 booktitle    = {Fundamental Approaches to Software Engineering (FASE 2014)},
 series       = {Lecture Notes in Computer Science},
 volume       = {8411},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {355--369},
 doi          = {10.1007/978-3-642-54804-8_25},
)
@article(lowe2015single,
 author       = {M. L\"{o}we and M. Tempelmeier},
 year         = {2015},
 title        = {{Single-Pushout Rewriting of Partial Algebras}},
 journal      = {GCM 2015 Graph Computation Models},
 pages        = {82},
)
@article(Maximova2018,
 author       = {M. Maximova and H. Giese and C. Krause},
 year         = {2018},
 title        = {{Probabilistic timed graph transformation systems}},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {101},
 pages        = {110--131},
 doi          = {10.1016/j.jlamp.2018.09.003},
)
@book(norris,
 author       = {J. R. Norris},
 year         = {1997},
 title        = {{Markov Chains}},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9780511810633},
)
@book(DBLP:conf/gg/1997handbook,
 author       = {G. Rozenberg},
 year         = {1997},
 title        = {{Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}},
 publisher    = {World Scientific},
 doi          = {10.1142/9789812384720},
)