Publications [#237046] of John H. Reif

Journal articles or Book chapters PUBLISHED

1. 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, vol. 5877 LNCS (December, 2009), pp. 97-105, Springer Berlin Heidelberg, ISSN 0302-9743 [doi]
   (last updated on 2026/01/14)

   Abstract:
   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.