A model in {} for DNA addition

DOI10.1016/J.ENTCS.2007.05.018MaRDI QIDQ2864208zbMATH OpenOpenAlexFDO

Authors Xian Xu, Xiaoju Dong, Yuxi Fu

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.05.018

zbMATH Keywords

\(\kappa\) calculusadditionbiological computingDNA computingmodeling

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1953212
• Formal models of DNA computing: A survey
• scientific article; zbMATH DE number 2087031
• DNA computing -- A functional model in the practical experiment in the laboratory
• MOLECULAR MODEL CHECKING

Cites work

• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• BioAmbients: an abstraction for biological compartments
• Brane Calculi
• Formal molecular biology
• Mobile ambients

Describes a project that uses

Uses Software

• BioSPI

This page was built for publication: A model in {\(\kappa\)} for DNA addition

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