nano κ : a Calculus for Modelization and Simulation of Nano Devices ?

We develop a process calculus – the nanoκ calculus – for modeling, analyzing and predicting the properties of molecular devices. The nanoκ 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.