Modelization and simulation of nano devices in nanoκ; calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4695 LNBI, Issue , 2007, Pages 168-183

  Credi, Alberto ^a   Garavelli, Marco ^a   Laneve, Cosimo ^a   Pradalier, Sylvain ^b   Silvi, Serena ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b ECOLE POLYTECHNIQUE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; LARGE SCALE SYSTEMS;

MOLECULAR DEVICES; MOLECULAR SHUTTLE; NANO DEVICES;

STOCHASTIC MODELS;

EID: 38049153040     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75140-3_12     Document Type: Conference Paper

References (20)

1. Ashton, P.R., Ballardini, R., Balzani, V., Credi, A., Baxter, I., Fyfe, M.CT., Gandolfi, M.T., Gómez-López, M., Martínez- Díaz, M.-V., Piersanti, A., Spencer, N., Stoddart, J.F., Venturi, M., White, A.J.P., Williams, D.J.: Acid-base controllable molecular shuttles. Journal of Am. Chem. Soc. 120, 11932-11942 (1998)
2. Badjic, J.D., Balzani, V., Credi, A., Silvi, S., Stoddart, J.F.: A molecular elevator. Science 303, 1845-1849 (2004)
3. Balzani, V., Credi, A., Venturi, M.: Molecular devices and machines - concepts and perspectives for the nano world. Wiley-VCH, Weinheim (2007)
4. Cardelli, L.: On process rate semantics (2007)
5. Cardelli, L., Phillips, A.: Spim homepage At (2006), research.microsoft. com/aphillip/spim/
6. Champin, B., Mobian, P., Sauvage, J.-P.: Transition metal complexes as molecular machine prototypes. Chemical Society Reviews 36(2), 358-366 (2006)
7. Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science 325(1), 69-110 (2004)
8. Garaudée, S., Silvi, S., Venturi, M., Credi, A., Flood, A.H., Stoddart, J.F.: Shuttling dynamics in an acid-base-switchable [2]rotaxane. Chem. Phys. Chem. 6, 2145 (2005)
9. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81, 2340-2361 (1977)
10. Gilmore, S., Hillston, J.: The pepa workbench: a tool to support a process algebrabased approach to performance modelling. In: Proc. of the 7th int. conference on Computer performance evaluation: modelling techniques and tools, Secaucus, NJ, USA, pp. 353-368. Springer, New York (1994)
11. Hermanns, H.: Interactive Markov Chains: The quest for quantitative quality. LNCS, vol. 2428. Springer, Heidelberg (2002)
12. Huang, T.-J., Brough, B., Ho, C-M., Liu, Y., Flood, A.H., Bonvallet, P.A., Tseng, H.-R., Stoddart, J.F., Baller, M., Magonov, S.: A nanomechanical device based on linear molecular motors. Applied Physics Letters 85(22), 5391-5393 (2004)
13. Jimenez, M.C., Dietrich-Buchecker, C., Sauvage, J.-P.: Towards synthetic molecular muscles: Contraction and stretching of a linear rotaxane dimer. Angew. Chem. Int. Ed. 39(18), 3284-3287 (2000)
14. Laneve, C., Tarissan, F.: A simple calculus of protein and cells. In: Proceeding of MeCBIC'06. ENTCS, vol. 1677 (2007)
15. Martínez-Díaz, M.-V., Spencer, N., Stoddart, J.F.: The self-assembly of a switchable [2]rotaxane. Angew. Chem. Int. Ed. Engl. 36, 1904-1907 (1997)
16. Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge (1999)
17. Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)
18. Priami, C.: Stochastic pi-calculus. Computer Journal 38(7), 578-589 (1995)
19. Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25-31 (2001)
20. Sauvage, J.-P., Dietrich-Bucheker, C.O. (eds.): Molecular catenanes, rotaxanes and knots. Wiley-VCH, Weinheim (1999)