Design of a biomolecular device that executes process algebra

DOI10.1007/S11047-010-9235-8MaRDI QIDQ537851zbMATH OpenOpenAlexFDO

Authors Urmi Majumder, J. Reif

Publication date 23 May 2011

Published in Natural Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11047-010-9235-8

zbMATH Keywords

concurrencyDNA self-assemblydistributed systemfinite state automatapolymerase chain reactionstate transitionstochastic process algebra\(\pi \) calculusautocatalytic biomolecular computersautonomous molecular computationDNA polymerizationprogrammable molecular machinesstrand displacement

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Protein sequences, DNA sequences (92D20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Design of a biomolecular device that executes process algebra
• Process Algebra Modelling Styles for Biomolecular Processes
• A process algebra framework for multi-scale modelling of biological systems
• Equivalences for a biological process algebra
• Algebraic biochemistry: a framework for analog online computation in cells
• Foundational aspects of multiscale modeling of biological systems with process algebras
• External control in process algebra for systems biology

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1953205 (Why is no real title available?)
• scientific article; zbMATH DE number 2087011 (Why is no real title available?)
• Displacement Whiplash PCR: Optimized Architecture and Experimental Validation
• On process rate semantics
• Programming Languages and Systems

Cited in

(2)

• nano\(\kappa\): A calculus for the modeling and simulation of nano devices
• Design of a biomolecular device that executes process algebra

This page was built for publication: Design of a biomolecular device that executes process algebra

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