Rewriting theory for the life sciences: a unifying theory of CTMC semantics
type: Item
instance of: scholarly article
title: Rewriting theory for the life sciences: a unifying theory of CTMC semantics
author: Nicolas Behr
author: Jakob L. Andersen
author: Daniel Merkle
author: Jean Krivine
published in: Theoretical Computer Science
publication date: 2021-08-27T00:00:00Z
full work available at URL: https://arxiv.org/abs/2003.09395
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7387699
zbMATH Keywords: double-pushout rewriting
zbMATH Keywords: sesqui-pushout rewriting
zbMATH Keywords: rule algebra theory
zbMATH Keywords: stochastic mechanics
zbMATH Keywords: biochemistry
zbMATH Keywords: organic chemistry
zbMATH Keywords: algorithmic cheminformatics
describes a project that uses: Fragger
describes a project that uses: MedOlDatschgerl
describes a project that uses: BGL
describes a project that uses: KappaTools
describes a project that uses: Boost
MaRDI profile type: Publication
OpenAlex ID: W3184630098
cites work: Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
cites work: Rule Algebras for Adhesive Categories
cites work: A Software Package for Chemically Inspired Graph Transformation
cites work: Q4559476
cites work: Q5020536
cites work: Correctness of high-level transformation systems relative to nested conditions
cites work: Compositionality of Rewriting Rules with Conditions
cites work: Fundamentals of algebraic graph transformation
cites work: Sesqui-Pushout Rewriting
cites work: Adhesive and quasiadhesive categories
cites work: Graph Transformations
cites work: Finitary -adhesive categories
cites work: -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
cites work: \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
cites work: Stochastic mechanics of graph rewriting
cites work: Q3300791
cites work: Transformation and Refinement of Rigid Structures
cites work: Resolution-Like Theorem Proving for High-Level Conditions
cites work: Computational methods in systems biology. International conference CMSB 2004, Paris, France, May 26--28, 2004. Revised selected papers.
cites work: Formal molecular biology
cites work: Intrinsic information carriers in combinatorial dynamical systems
cites work: Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
cites work: Moment Semantics for Reversible Rule-Based Systems
cites work: Rate equations for graphs
cites work: Incremental Update for Graph Rewriting
cites work: A Rewriting Calculus for Multigraphs with Ports
cites work: Rule-Based Modelling, Symmetries, Refinements
cites work: Q4956543
cites work: 50 Shades of Rule Composition
cites work: $\mathcal M, \mathcal N$ -Adhesive Transformation Systems
cites work: Quasitoposes, Quasiadhesive Categories and Artin Glueing
cites work: Q5020951
cites work: Q4904140
cites work: Markov Chains
DOI: 10.1016/J.TCS.2021.07.026
description: scientific article; zbMATH DE number 7387699