scientific article
From MaRDI portal
Publication:3300791
Ilias Garnier, Vincent Danos, Nicolas Behr
Publication date: 30 July 2020
Full work available at URL: https://arxiv.org/abs/1904.07313
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Recent developments in combinatorial aspects of normal ordering ⋮ Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Rewriting theory for the life sciences: a unifying theory of CTMC semantics ⋮ A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications ⋮ Concurrency theorems for non-linear rewriting theories ⋮ A generalized concurrent rule construction for double-pushout rewriting
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- State space truncation with quantified errors for accurate solutions to discrete chemical master equation
- Lumpability abstractions of rule-based systems
- Combinatorial algebra for second-quantized quantum theory
- Combinatorial models of creation-annihilation
- Solving the chemical master equation for monomolecular reaction systems analytically
- Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7--13, 2008. Proceedings
- Continuous-time Markov chains. An applications-oriented approach
- General solution of the chemical master equation and modality of marginal distributions for hierarchic first-order reaction networks
- Graph transformation, specifications, and nets. In memory of Hartmut Ehrig
- Computational methods in systems biology. International conference CMSB 2004, Paris, France, May 26--28, 2004. Revised selected papers.
- Formal molecular biology
- Solving the master equation without kinetic Monte Carlo: tensor train approximations for a CO oxidation model
- Boson normal ordering via substitutions and Sheffer-type polynomials
- Moment Semantics for Reversible Rule-Based Systems
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
- Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables
- Reversible Sesqui-Pushout Rewriting
- Rule-Based Modelling, Symmetries, Refinements
- Rule-Based Modelling of Cellular Signalling
- Exact and ordinary lumpability in finite Markov chains
- Markov Chains
- Handbook of Graph Grammars and Computing by Graph Transformation
- The on-line encyclopedia of integer sequences
- Corrigendum: Approximation and inference methods for stochastic biochemical kinetics—a tutorial review (2017 J. Phys. A: Math. Theor. 50 093001)
- Stochastic mechanics of graph rewriting
- Applications of Magnus expansions and pseudospectra to Markov processes
- Lie Groups, Lie Algebras, and Representations
- Intrinsic information carriers in combinatorial dynamical systems
- Foundations of Software Science and Computation Structures
- Adhesive and quasiadhesive categories
- Forward and Backward Bisimulations for Chemical Reaction Networks
- Stochastic approach to chemical kinetics
- Finitary -adhesive categories
This page was built for publication:
