Continuous-Time Markov Chains

W.J. Anderson 1991 Continuous-Time Markov Chains Springer New York 10.1007/978-1-4612-3038-0 N. Behr 2019 Tracelets and Tracelet Analysis Of Compositional Rewriting Systems arXiv preprint arXiv:1904.12829 N. Behr V. Danos I. 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 N. Behr V. Danos I. Garnier 2019 Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems arXiv preprint 1904.07313 N. Behr V. Danos I. Garnier T. Heindel 2016 The algebras of graph rewriting arXiv:1612.06240 N. Behr G.H.E. Duchamp K.A. Penson 2017 Combinatorics of Chemical Reaction Systems arXiv:1712.06575 N. Behr P. 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 N. Behr P. Sobocinski 2019 Rule Algebras for Adhesive Categories (invited extended journal version) arXiv preprint 1807.00785v2 P. Blasiak G.H.E. Duchamp A. Horzela K.A. Penson A.I. Solomon 2005 Boson normal ordering via substitutions and Sheffer-Type Polynomials Physics Letters A 338 2 108–116 10.1016/j.physleta.2005.02.028 P. Blasiak G.H.E. Duchamp A. Horzela K.A. Penson A.I. Solomon 2010 Combinatorial Algebra for second-quantized Quantum Theory Advances in Theoretical and Mathematical Physics 14 4 1209–1243 10.4310/atmp.2010.v14.n4.a5 P. Blasiak P. Flajolet 2011 Combinatorial Models of Creation-Annihilation Séminaire Lotharingien de Combinatoire 65 B65c 1–78 B. Braatz H. Ehrig K. Gabriel U. Golas 2010 Finitary M -Adhesive Categories H. Ehrig A. Rensink G. Rozenberg A. Schürr Graph Transformations (ICGT 2010) Lecture Notes in Computer Science 6372 Springer, Berlin, Heidelberg 234–249 10.1007/978-3-642-15928-2_16 J.R.B. Cockett S. Lack 2003 Restriction categories II: partial map classification Theoretical Computer Science 294 1-2 61–102 10.1016/s0304-3975(01)00245-6 A. Corradini D. Duval R. Echahed F. Prost L. Ribeiro 2015 AGREE Algebraic Graph Rewriting with Controlled Embedding Francesco Parisi-Presicce Bernhard Westfechtel Graph Transformation (ICGT 2015) Lecture Notes in Computer Science 9151 Springer International Publishing

Cham

35–51 10.1007/978-3-319-21145-9_3 A. Corradini D. Duval M. Löwe L. Ribeiro R. Machado A. Costa G. Grochau Azzi J. Santos Bezerra L. Marques Rodrigues 2018 On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches R. Heckel G. Taentzer Graph Transformation, Specifications, and Nets Lecture Notes in Computer Science 10800 Springer International Publishing

Cham

1–18 10.1007/978-3-319-75396-6_1 A. Corradini T. Heindel F. Hermann B. König 2006 Sesqui-Pushout Rewriting A. Corradini H. Ehrig U. Montanari L. Ribeiro G. Rozenberg Graph Transformations (ICGT 2006) Lecture Notes in Computer Science 4178 Springer

Berlin, Heidelberg

30–45 10.1007/11841883_4 A. Corradini U. Montanari F. Rossi H. Ehrig R. Heckel M. Löwe 1997 Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations World Scientific 163–246 10.1142/9789812384720_0003 V. Danos J. Feret W. Fontana R. Harmer J. Hayman J. Krivine C. Thompson-Walsh G. Winskel 2012 Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models D. D'Souza T. Kavitha J. Radhakrishnan IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012) Leibniz International Proceedings in Informatics (LIPIcs) 18 Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik

Dagstuhl, Germany

276–288 10.4230/LIPIcs.FSTTCS.2012.276 V. Danos J. Feret W. Fontana R. Harmer J. Krivine 2008 Rule-Based Modelling, Symmetries, Refinements Jasmin Fisher Formal Methods in Systems Biology (FMSB 2008) Lecture Notes in Computer Science 5054 Springer

Berlin, Heidelberg

103–122 10.1007/978-3-540-68413-8_8 V. Danos J. Feret W. Fontana R. Harmer J. Krivine 2010 Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction 2010 25th Annual IEEE Symposium on Logic in Computer Science IEEE 10.1109/lics.2010.44 V. Danos C. Laneve 2004 Formal molecular biology Theoretical Computer Science 325 1 69–110 10.1016/j.tcs.2004.03.065 G. Dattoli P. L. Ottaviani A. Torre L. Vazquez 1997 Evolution operator equations: Integration with algebraic and finite-difference methods: Applications to physical problems in classical and quantum mechanics and quantum field theory Riv. Nuovo Cim. 20N2 1–133 10.1007/BF02907529 H. Ehrig U. Golas A. Habel L. Lambers F. 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 H. Ehrig A. Habel H.J. Kreowski F. Parisi-Presicce 1991 Parallelism and concurrency in high-level replacement systems Mathematical Structures in Computer Science 1 3 361–404 10.1017/s0960129500001353 H. Ehrig A. Habel J. Padberg U. Prange 2004 Adhesive High-Level Replacement Categories and Systems H. Ehrig G. Engels F. Parisi-Presicce G. Rozenberg Graph Transformations (ICGT 2004) Lecture Notes in Computer Science 3256 Springer

Berlin, Heidelberg

144–160 10.1007/978-3-540-30203-2_12 H. Ehrig M. Pfender H. J. Schneider 1973 Graph-grammars: An algebraic approach 14th Annual Symposium on Switching and Automata Theory (SWAT 1973) IEEE 10.1109/swat.1973.11 U. Golas A. Habel H. Ehrig 2014 Multi-amalgamation of rules with application conditions in M-adhesive categories Mathematical Structures in Computer Science 24 04 10.1017/s0960129512000345 B.C. Hall 2015 Lie Groups, Lie Algebras, and Representations Springer International Publishing 10.1007/978-3-319-13467-3 R. Heckel 2005 Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks D. Van Hung M. Wirsing Theoretical Aspects of Computing (ICTAC 2005) Lecture Notes in Computer Science 3722 Springer

Berlin, Heidelberg

53–69 10.1007/11560647_4 R. Heckel H. Ehrig U. Golas F. Hermann 2012 Parallelism and Concurrency of Stochastic Graph Transformations H. Ehrig G. Engels H.J. Kreowski G. Rozenberg Graph Transformations (ICGT 2012) Lecture Notes in Computer Science 7562 Springer

Berlin, Heidelberg

96–110 10.1007/978-3-642-33654-6_7 R. Heckel G. Lajios S. Menge 2004 Stochastic Graph Transformation Systems H. Ehrig G. Engels F. Parisi-Presicce G. Rozenberg Graph Transformations (ICGT 2004) Lecture Notes in Computer Science 3256 Springer

Berlin, Heidelberg

210–225 10.1007/978-3-540-30203-2_16 R. Kennaway 1990 Graph rewriting in some categories of partial morphisms H. Ehrig H.J. Kreowski G. Rozenberg Graph Grammars and Their Application to Computer Science (Graph Grammars 1990) 532 Springer

Berlin, Heidelberg

490–504 10.1007/bfb0017408 C. Krause H. Giese 2012 Probabilistic Graph Transformation Systems H. Ehrig G. Engels H.J. Kreowski G. Rozenberg Graph Transformations (ICGT 2012) Lecture Notes in Computer Science 7562 Springer

Berlin, Heidelberg

311–325 10.1007/978-3-642-33654-6_21 S. Lack P. Sobociński 2005 Adhesive and quasiadhesive categories RAIRO - Theoretical Informatics and Applications 39 3 511–545 10.1051/ita:2005028 M. Löwe 1993 Algebraic approach to single-pushout graph transformation Theoretical Computer Science 109 1-2 181–224 10.1016/0304-3975(93)90068-5 M. Löwe 2015 Polymorphic Sesqui-Pushout Graph Rewriting F. Parisi-Presicce B. Westfechtel Graph Transformation (ICGT 2015) Lecture Notes in Computer Science 9151 Springer International Publishing

Cham

3–18 10.1007/978-3-319-21145-9_1 M. Löwe 2018 Characterisation of Parallel Independence in AGREE-Rewriting L. Lambers J. Weber Graph Transformation (ICGT 2018) Lecture Notes in Computer Science 10887 Springer International Publishing

Cham

118–133 10.1007/978-3-319-92991-0_8 M. Löwe H. König C. Schulz 2014 Polymorphic Single-Pushout Graph Transformation S. Gnesi A. Rensink Fundamental Approaches to Software Engineering (FASE 2014) Lecture Notes in Computer Science 8411 Springer

Berlin, Heidelberg

355–369 10.1007/978-3-642-54804-8_25 M. Löwe M. Tempelmeier 2015 Single-Pushout Rewriting of Partial Algebras GCM 2015 Graph Computation Models 82 M. Maximova H. Giese C. Krause 2018 Probabilistic timed graph transformation systems Journal of Logical and Algebraic Methods in Programming 101 110–131 10.1016/j.jlamp.2018.09.003 J. R. Norris 1997 Markov Chains Cambridge University Press 10.1017/cbo9780511810633 G. Rozenberg 1997 Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations World Scientific 10.1142/9789812384720