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.
Type de document :
Article dans une revue
Lecture notes in computer science, springer, 2007
Liste complète des métadonnées

https://hal.inria.fr/inria-00241554
Contributeur : Sylvain Pradalier <>
Soumis le : mercredi 6 février 2008 - 12:18:00
Dernière modification le : jeudi 10 mai 2018 - 02:06:51
Document(s) archivé(s) le : vendredi 7 mai 2010 - 21:10:32

Fichier

nanok.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

162

Téléchargements de fichiers

100