Strand algebras for DNA computing

DOI10.1007/s11047-010-9236-7zbMath1221.68164OpenAlexW2047231556WikidataQ56981935 ScholiaQ56981935MaRDI QIDQ537852

Luca Cardelli

Publication date: 23 May 2011

Published in: Natural Computing (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.6220

zbMATH Keywords

process algebraDNA computingDNA strand displacement

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Protein sequences, DNA sequences (92D20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Deterministic function computation with chemical reaction networks, An RNA-based theory of natural universal computation, Supervised Learning in an Adaptive DNA Strand Displacement Circuit, Process calculi for biological processes, Speed faults in computation by chemical reaction networks, Verifying chemical reaction network implementations: a pathway decomposition approach, Two-domain DNA strand displacement, Leaderless Deterministic Chemical Reaction Networks, Modular Verification of DNA Strand Displacement Networks via Serializability Analysis, Reachability Problems for Continuous Chemical Reaction Networks, In Vitro Implementation of a Stack Data Structure Based on DNA Strand Displacement, Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems, Probability 1 computation with chemical reaction networks, Composable computation in discrete chemical reaction networks, A Scheme for Molecular Computation of Maximum Likelihood Estimators for Log-Linear Models

Cites Work

• Computation with finite stochastic chemical reaction networks
• On properties of bond-free DNA languages
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• Computation in networks of passively mobile finite-state sensors
• On process rate semantics
• Thermodynamic Analysis of Interacting Nucleic Acid Strands
• Termination Problems in Chemical Kinetics
• Turing universality of the Biochemical Ground Form
• Strand Algebras for DNA Computing
• Unnamed Item
• Unnamed Item
• Unnamed Item