Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
435691 | Theoretical Computer Science | 2008 | 14 Pages |
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