Design of a biomolecular device that executes process algebra

DOI10.1007/S11047-010-9235-8zbMATH Open1214.68250OpenAlexW2071773957MaRDI QIDQ537851FDOQ537851

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

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

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)

Cites Work

• On process rate semantics
• Title not available (Why is that?)
• Displacement Whiplash PCR: Optimized Architecture and Experimental Validation
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)