Rewriting theory for the life sciences: A unifying theory of CTMC semantics
Authors:
- Nicolas BehrNBNicolas Behr
- Jean KrivineJKJean Krivine
- Jakob L. AndersenJAJakob L. Andersen
- Daniel MerkleDMDaniel Merkle
- 1 September 2021
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 884, 68-115
Abstract
No abstract availableKeywords
All Related Versions
Funding Information
- Danmarks Frie Forskningsfond
- Exploratory Research Center on Life and Living Systems, National Institutes of Natural Sciences (DFF-0135-00420B, DFF-7014-00041)
- Independent Research Fund Denmark
- Novo Nordisk Fonden (NNF19OC0057834)
This publication has 14 references indexed in Scilit:
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamationMathematical Structures in Computer Science, 2014
- Finitary -adhesive categoriesMathematical Structures in Computer Science, 2014
- Generic strategies for chemical space explorationInternational Journal of Computational Biology and Drug Design, 2014
- Intrinsic information carriers in combinatorial dynamical systemsChaos: An Interdisciplinary Journal of Nonlinear Science, 2010
- Internal coarse-graining of molecular systemsProceedings of the National Academy of Sciences, 2009
- Correctness of high-level transformation systems relative to nested conditionsMathematical Structures in Computer Science, 2009
- A Rewriting Calculus for Multigraphs with PortsElectronic Notes in Theoretical Computer Science, 2008
- Adhesive and quasiadhesive categoriesRAIRO - Theoretical Informatics and Applications, 2005
- Formal molecular biologyTheoretical Computer Science, 2004
- Statistical Fluctuations in Autocatalytic ReactionsThe Journal of Chemical Physics, 1940