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]

Authors

Alberto Credi

This author has not been identified. Look up 'Alberto Credi' in Google

Marco Garavelli

This author has not been identified. Look up 'Marco Garavelli' in Google

Cosimo Laneve

This author has not been identified. Look up 'Cosimo Laneve' in Google

Sylvain Pradalier

This author has not been identified. Look up 'Sylvain Pradalier' in Google

Serena Silvi

This author has not been identified. Look up 'Serena Silvi' in Google

Gianluigi Zavattaro

This author has not been identified. Look up 'Gianluigi Zavattaro' in Google