Design of a Biomolecular Device That Executes Process Algebra

DOI10.1007/978-3-642-10604-0_10zbMath1273.68129OpenAlexW1504180888MaRDI QIDQ3654672

Urmi Majumder, John H. Reif

Publication date: 7 January 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.64

Mathematics Subject Classification ID

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

Related Items (3)

DNAQL: a query language for DNA sticker complexes ⋮ Graph-Theoretic Formalization of Hybridization in DNA Sticker Complexes ⋮ Graph-theoretic formalization of hybridization in DNA sticker complexes

This page was built for publication: Design of a Biomolecular Device That Executes Process Algebra