Alberto Credi Marco Garavelli Cosimo Laneve Sylvain Pradalier Serena Silvi Gianluigi Zavattaro Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus. 168-183 2007 conf/cmsb/2007 CMSB http://dx.doi.org/10.1007/978-3-540-75140-3_12 db/conf/cmsb/cmsb2007.html#CrediGLPSZ07