Scholars@Duke

Design of a biomolecular device that executes process algebra

Publication ,  Journal Article
Majumder, U; Reif, JH
Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
December 11, 2009
Published version (DOI)

Process algebras are widely used to define the formal semantics of concurrent communicating processes. In this paper, we implement a particularly expressive form of process algebra, known as stochastic π-calculus, at the molecular scale by providing a design for a DNA-based biomolecular device that simulates a process algebraic machine. Our design of the molecular stochastic π-calculus system makes use of a modified form of Whiplash-PCR (WPCR) machines. In this design, we connect (via a tethering DNA nanostructure) a number of DNA strands, each of which corresponds to a WPCR machine. This collection of WPCR machines are used to execute distinct concurrent processes, each with its own distinct program. Furthermore, their close proximity enables computation to proceed via communication. © 2009 Springer-Verlag.

Duke Scholars

John H. Reif
Author John H. Reif Computer Science

Published In

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

DOI

10.1007/978-3-642-10604-0_10

EISSN

1611-3349

ISSN

0302-9743

Publication Date

December 11, 2009

Volume

5877 LNCS

Start / End Page

97 / 105

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Majumder, U., & Reif, J. H. (2009). Design of a biomolecular device that executes process algebra. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5877 LNCS, 97–105. https://doi.org/10.1007/978-3-642-10604-0_10
Majumder, U., and J. H. Reif. “Design of a biomolecular device that executes process algebra.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5877 LNCS (December 11, 2009): 97–105. https://doi.org/10.1007/978-3-642-10604-0_10.
Majumder U, Reif JH. Design of a biomolecular device that executes process algebra. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2009 Dec 11;5877 LNCS:97–105.
Majumder, U., and J. H. Reif. “Design of a biomolecular device that executes process algebra.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5877 LNCS, Dec. 2009, pp. 97–105. Scopus, doi:10.1007/978-3-642-10604-0_10.
Majumder U, Reif JH. Design of a biomolecular device that executes process algebra. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2009 Dec 11;5877 LNCS:97–105.

Published In

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

DOI

10.1007/978-3-642-10604-0_10

EISSN

1611-3349

ISSN

0302-9743

Publication Date

December 11, 2009

Volume

5877 LNCS

Start / End Page

97 / 105

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences