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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Milner, R.: Communicating and mobile systems: the pi calculus. Cambridge Univ. Press, Cambridge (1999)
Cardelli, L.: On process rate semantics. Theo. Comp. Sci. 391(3), 190–215 (2008)
Bassler, B.: How bacteria talk to each other: regulation of gene expression by quorum sensing. Curr. Opin. Microbiol. 2, 582–587 (1999)
Koeneman, A., Capco, D.G.: A Kaleidoscope of Modern Life Sciences and Modern Medicine. Encyclopedia of Molecular Cell Biology and Molecular Medicine, vol. 2. Ramtech Ltd., Larkspur (2005)
Winfree, E.: Simulation of computing by self-assembly. Technical Report 1998.22, Caltech (1998)
Sakamoto, K., Kiga, D., Komiya, K., Gouzu, H., Yokoyama, S., Ikeda, S., Sugiyama, H., Hagiya, M.: State transitions by molecules. Biosystems 52(1), 81–91 (1999)
Dirks, R.M., Pierce, N.A.: Triggered Amplification of Hybridization Chain Reaction. PNAS 101(43), 15275–15278 (2004)
Berg, J., Tymoczko, J., Stryer, L.: Molecular Cell Biology. W.H. Freeman, New York (2002)
Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Bioconcur. (2004)
Phillips, A., Yoshida, N., Eisenbach, S.: A distributed abstract machine for boxed ambient calculi. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol. 2986, pp. 155–170. Springer, Heidelberg (2004)
Reif, J.H., Majumder, U.: Computing with Isothermal Autocatalytic Whiplash PCR. In: DNA 14. LNCS. Springer, Heidelberg (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Majumder, U., Reif, J.H. (2009). Design of a Biomolecular Device That Executes Process Algebra. In: Deaton, R., Suyama, A. (eds) DNA Computing and Molecular Programming. DNA 2009. Lecture Notes in Computer Science, vol 5877. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10604-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-10604-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10603-3
Online ISBN: 978-3-642-10604-0
eBook Packages: Computer ScienceComputer Science (R0)