Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics

DOI10.1007/978-3-030-51372-6_11zbMath1502.68146OpenAlexW3037418945MaRDI QIDQ5100733

Jean Krivine, Nicolas Behr

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

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

Related Items (5)

Fundamentals of compositional rewriting theory ⋮ 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

Uses Software

• MedOlDatschgerl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computational methods in systems biology. International conference CMSB 2004, Paris, France, May 26--28, 2004. Revised selected papers.
• Formal molecular biology
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• Fundamentals of algebraic graph transformation
• Moment Semantics for Reversible Rule-Based Systems
• ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
• $\mathcal M, \mathcal N$ -Adhesive Transformation Systems
• A Software Package for Chemically Inspired Graph Transformation
• Transformation and Refinement of Rigid Structures
• Rule-Based Modelling of Cellular Signalling
• Sesqui-Pushout Rewriting
• Correctness of high-level transformation systems relative to nested conditions
• Stochastic mechanics of graph rewriting
• Compositionality of Rewriting Rules with Conditions
• Intrinsic information carriers in combinatorial dynamical systems
• Graph Transformations
• Adhesive and quasiadhesive categories
• Finitary -adhesive categories
• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

This page was built for publication: Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics