Skip to Main content Skip to Navigation
Journal articles

Modelizations and Simulations of Nano Devices in nanok calculus

Abstract : We develop a process calculus - the nanok calculus - for modeling, analyzing and predicting the properties of molecular devices. The nanok calculus is equipped with a simple stochastic model, that we use to model and simulate the behavior of a molecular shuttle, a basic nano device currentfly used for building more complex systems.
Complete list of metadata

https://hal.inria.fr/inria-00241554
Contributor : Sylvain Pradalier <>
Submitted on : Wednesday, February 6, 2008 - 12:18:00 PM
Last modification on : Friday, October 30, 2020 - 12:04:02 PM
Long-term archiving on: : Friday, May 7, 2010 - 9:10:32 PM

File

nanok.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00241554, version 1

Collections

Citation

Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, et al.. Modelizations and Simulations of Nano Devices in nanok calculus. Lecture Notes in Computer Science, Springer, 2007. ⟨inria-00241554⟩

Share

Metrics

Record views

217

Files downloads

154