nanoK: A calculus for the modeling and simulation of nano devices
We develop a process calculus - the nanoK Calculus - for modeling, analyzing and predicting the properties of molecular devices. The nanoK 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. (c) 2008 Elsevier B.V. All rights reserved.
markovian process calculi molecular machine rotaxane stochastic simulation