On the Computational Power of Biochemistry

DOI10.1007/978-3-540-85101-1_6zbMath1171.92318WikidataQ56982027 ScholiaQ56982027MaRDI QIDQ3599194

Luca Cardelli, Gianluigi Zavattaro

Publication date: 3 February 2009

Published in: Algebraic Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85101-1_6

Mathematics Subject Classification ID

92C40: Biochemistry, molecular biology

92-08: Computational methods for problems pertaining to biology

Related Items

A Port Graph Calculus for Autonomic Computing and Invariant Verification, An Abstract Machine for the Stochastic Bioambient calculus, A Process Model of Actin Polymerisation, Programming in Biomolecular Computation, On the computational power of BlenX, Verifying polymer reaction networks using bisimulation, Time Complexity of Computation and Construction in the Chemical Reaction Network-Controlled Tile Assembly Model, Analyzing Oscillatory Behavior with Formal Methods, Universal Computation and Optimal Construction in the Chemical Reaction Network-Controlled Tile Assembly Model, Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon, Efficient Turing-Universal Computation with DNA Polymers, Turing universality of the Biochemical Ground Form, On the Computational Power of Biochemistry

Cites Work

• Unnamed Item
• Unnamed Item
• Computation with finite stochastic chemical reaction networks
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Formal molecular biology
• On process rate semantics
• Termination Problems in Chemical Kinetics
• On the Computational Power of Biochemistry
• Stochastic approach to chemical kinetics
• Computational Methods in Systems Biology