Strand algebras for DNA computing

DOI10.1007/S11047-010-9236-7MaRDI QIDQ537852zbMATH OpenOpenAlexWikidataFDO

Authors 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

DNA computingprocess algebraDNA strand displacement

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 2090726 (Why is no real title available?)
• BioAmbients: an abstraction for biological compartments
• Computation in networks of passively mobile finite-state sensors
• Computation with finite stochastic chemical reaction networks
• Formal molecular biology
• On process rate semantics
• On properties of bond-free DNA languages
• Strand Algebras for DNA Computing
• Termination Problems in Chemical Kinetics
• Thermodynamic Analysis of Interacting Nucleic Acid Strands
• Turing universality of the biochemical ground form

Cited in

(16)

• Algebraic characterization of RNA operations for DNA-based computation
• Deterministic function computation with chemical reaction networks
• In vitro implementation of a stack data structure based on DNA strand displacement
• STRING OPERATIONS SUGGESTED BY DNA BIOCHEMISTRY: THE BALANCED CUT OPERATION
• Less haste, less waste: on recycling and its limits in strand displacement systems
• Speed faults in computation by chemical reaction networks
• Supervised Learning in an Adaptive DNA Strand Displacement Circuit
• Composable computation in discrete chemical reaction networks
• Modular verification of DNA strand displacement networks via serializability analysis
• Verifying chemical reaction network implementations: a pathway decomposition approach
• An RNA-based theory of natural universal computation
• Process calculi for biological processes
• Leaderless Deterministic Chemical Reaction Networks
• A scheme for molecular computation of maximum likelihood estimators for log-linear models
• Two-domain DNA strand displacement
• Probability 1 computation with chemical reaction networks

This page was built for publication: Strand algebras for DNA computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q537852)