Design of a biomolecular device that executes process algebra

DOI10.1007/S11047-010-9235-8zbMath1214.68250OpenAlexW2071773957MaRDI QIDQ537851

John H. Reif, Urmi Majumder

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

distributed systemconcurrencyDNA self-assemblyfinite 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)

Cites Work

• On process rate semantics
• Programming Languages and Systems
• Displacement Whiplash PCR: Optimized Architecture and Experimental Validation
• Unnamed Item
• Unnamed Item
• Unnamed Item

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