nanoK: A calculus for the modeling and simulation of nano devices

Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro. nanoK: A calculus for the modeling and simulation of nano devices. Theoretical Computer Science, 408(1):17-30, 2008. [doi]

Abstract

Abstract is missing.