Rewriting theory for the life sciences: a unifying theory of CTMC semantics
DOI10.1007/978-3-030-51372-6_11zbMATH Open1502.68146OpenAlexW3037418945MaRDI QIDQ5100733FDOQ5100733
Authors: Nicolas Behr, Jean Krivine 
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
Recommendations
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
- 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
- Title not available (Why is that?)
- Finitary \(\mathcal{M}\)-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
- Rule composition in graph transformation models of chemical reactions
- 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
- Title not available (Why is that?)
- Stochastic mechanics of graph rewriting
- Compositionality of rewriting rules with conditions
- Proceedings of the tenth international workshop on graph computation models, GCM 2019, Eindhoven, The Netherlands, July 17, 2019
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)
