Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
DOI10.1007/978-3-030-51372-6_11zbMATH Open1502.68146OpenAlexW3037418945MaRDI QIDQ5100733FDOQ5100733
Publication date: 1 September 2022
Published in: Graph Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-51372-6_11
stochastic mechanicsorganic chemistrybiochemistrydouble-pushout rewritingsesqui-pushout rewritingrule algebra
Applications of continuous-time Markov processes on discrete state spaces (60J28) Biochemistry, molecular biology (92C40) Grammars and rewriting systems (68Q42)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal molecular biology
- Correctness of high-level transformation systems relative to nested conditions
- Graph Transformations
- Sesqui-Pushout Rewriting
- Rule-Based Modelling of Cellular Signalling
- Fundamentals of algebraic graph transformation
- Intrinsic information carriers in combinatorial dynamical systems
- Adhesive and quasiadhesive categories
- Finitary -adhesive categories
- \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
- Computational methods in systems biology. International conference CMSB 2004, Paris, France, May 26--28, 2004. Revised selected papers.
- A Software Package for Chemically Inspired Graph Transformation
- $\mathcal M, \mathcal N$ -Adhesive Transformation Systems
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics
- Moment Semantics for Reversible Rule-Based Systems
- Transformation and Refinement of Rigid Structures
- Stochastic mechanics of graph rewriting
- Compositionality of Rewriting Rules with Conditions
Cited In (6)
- Fundamentals of compositional rewriting theory
- Concurrency theorems for non-linear rewriting theories
- Title not available (Why is that?)
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics
- Towards a semantic theory of CML
- A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications
Uses Software
This page was built for publication: Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5100733)
