nanoK: a Calculus for the Modeling and Simulation of nano devices