Article ID Journal Published Year Pages File Type
435691 Theoretical Computer Science 2008 14 Pages PDF
Abstract

We develop a process calculus–the calculus–for modeling, analyzing and predicting the properties of molecular devices. The calculus is equipped with a simple stochastic model, that we use to model and simulate the behavior of a molecular shuttle, a basic nano device currently used for building more complex systems.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics