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

被引：7
作者：
Credi, A. [1 ]
Garavelli, M. [1 ]
Laneve, C. [2 ]
Pradalier, S. [3 ]
Silvi, S. [1 ]
Zavattaro, G. [2 ]
机构：
[1] Univ Bologna, Dipartimento Chim G Ciamician, I-40126 Bologna, Italy
[2] Univ Bologna, Dipartimento Sci Informaz, I-40126 Bologna, Italy
[3] Ecole Polytech, F-75230 Paris, France
来源：
THEORETICAL COMPUTER SCIENCE | 2008年 / 408卷 / 01期
关键词：
Markovian process calculi; Molecular machine; Rotaxane; Stochastic simulation;
D O I：
10.1016/j.tcs.2008.07.006
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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 Currently used for building more complex systems. (c) 2008 Elsevier B.V. All rights reserved.
引用
收藏
页码：17 / 30
页数：14
相关论文
共 30 条
  • [1] [Anonymous], 2002, LECT NOTES COMPUTER
  • [2] Acid-base controllable molecular shuttles
    Ashton, PR
    Ballardini, R
    Balzani, V
    Baxter, I
    Credi, A
    Fyfe, MCT
    Gandolfi, MT
    Gómez-López, M
    Martínez-Díaz, MV
    Piersanti, A
    Spencer, N
    Stoddart, JF
    Venturi, M
    White, AJP
    Williams, DJ
    [J]. JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, 1998, 120 (46) : 11932 - 11942
  • [3] A molecular elevator
    Badjic, JD
    Balzani, V
    Credi, A
    Silvi, S
    Stoddart, JF
    [J]. SCIENCE, 2004, 303 (5665) : 1845 - 1849
  • [4] Balzani V., 2008, Molecular Devices and Machines. Concepts and Perspectives for the Nanoworld, V2nd ed.
  • [5] Barbuti R, 2006, LECT NOTES COMPUT SC, V4281, P93
  • [6] Barbuti R, 2006, FUND INFORM, V72, P21
  • [7] BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge
    Calzone, Laurence
    Fages, Francois
    Soliman, Sylvain
    [J]. BIOINFORMATICS, 2006, 22 (14) : 1805 - 1807
  • [8] CARDELLI L, SPIM HOMEPAGE
  • [9] On process rate semantics
    Cardelli, Luca
    [J]. THEORETICAL COMPUTER SCIENCE, 2008, 391 (03) : 190 - 215
  • [10] Cardelli Luca, 2008, LNCS IN PRESS
123