Rewriting theory for the life sciences: a unifying theory of CTMC semantics

DOI10.1007/978-3-030-51372-6_11MaRDI QIDQ5100733zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

stochastic mechanicsorganic chemistrybiochemistrydouble-pushout rewritingsesqui-pushout rewritingrule algebra

Mathematics Subject Classification ID

Applications of continuous-time Markov processes on discrete state spaces (60J28) Biochemistry, molecular biology (92C40) Grammars and rewriting systems (68Q42)

Recommendations

• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• Moment semantics for reversible rule-based systems
• Thermodynamic Graph-Rewriting
• A calculus of chemical systems
• Thermodynamic graph-rewriting

Cites work

• scientific article; zbMATH DE number 7226005 (Why is no real title available?)
• scientific article; zbMATH DE number 7533336 (Why is no real title available?)
• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
• A software package for chemically inspired graph transformation
• Adhesive and quasiadhesive categories
• Compositionality of rewriting rules with conditions
• Computational methods in systems biology. International conference CMSB 2004, Paris, France, May 26--28, 2004. Revised selected papers.
• Correctness of high-level transformation systems relative to nested conditions
• Finitary \(\mathcal{M}\)-adhesive categories
• Formal molecular biology
• Fundamentals of algebraic graph transformation
• Graph Transformations
• Intrinsic information carriers in combinatorial dynamical systems
• Moment semantics for reversible rule-based systems
• Proceedings of the tenth international workshop on graph computation models, GCM 2019, Eindhoven, The Netherlands, July 17, 2019
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• Rule composition in graph transformation models of chemical reactions
• Rule-Based Modelling of Cellular Signalling
• Sesqui-Pushout Rewriting
• Stochastic mechanics of graph rewriting
• Transformation and refinement of rigid structures
• \(\mathcal M, \mathcal N\)-adhesive transformation systems
• \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence

Cited in

(6)

• Fundamentals of compositional rewriting theory
• Concurrency theorems for non-linear rewriting theories
• scientific article; zbMATH DE number 7456054 (Why is no real title available?)
• 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

Describes a project that uses

Uses Software

• MedOlDatschgerl

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)