Modelization and Simulation of Nano Devices in $ mathtt{nano} kappa$ Calculus. - Alberto Credi; Marco Garavelli; Cosimo Laneve; Sylvain Pradalier; Serena Silvi; Gianluigi Zavattaro (CMSB, 2007)

nanoK: A calculus for the modeling and simulation of nano devices. - Alberto Credi; Marco Garavelli; Cosimo Laneve; Sylvain Pradalier; Serena Silvi; Gianluigi Zavattaro (Theor. Comput. Sci., 2008)