{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T09:10:23Z","timestamp":1753521023507},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751397"},{"type":"electronic","value":"9783540751403"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75140-3_12","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T01:03:10Z","timestamp":1188522190000},"page":"168-183","source":"Crossref","is-referenced-by-count":6,"title":["Modelization and Simulation of Nano Devices in nano \u03ba Calculus"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Credi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Garavelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cosimo","family":"Laneve","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Pradalier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serena","family":"Silvi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"11932","DOI":"10.1021\/ja982167m","volume":"120","author":"P.R. Ashton","year":"1998","unstructured":"Ashton, P.R., Ballardini, R., Balzani, V., Credi, A., Baxter, I., Fyfe, M.C.T., Gandolfi, M.T., G\u00f3mez-L\u00f3pez, M., Mart\u00ednez-D\u00edaz, 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.\u00a0120, 11932\u201311942 (1998)","journal-title":"Journal of Am. Chem. Soc."},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"1845","DOI":"10.1126\/science.1094791","volume":"303","author":"J.D. Badjic","year":"2004","unstructured":"Badjic, J.D., Balzani, V., Credi, A., Silvi, S., Stoddart, J.F.: A molecular elevator. Science\u00a0303, 1845\u20131849 (2004)","journal-title":"Science"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Balzani, V., Credi, A., Venturi, M.: Molecular devices and machines \u2013 concepts and perspectives for the nano world. Wiley-VCH, Weinheim (2007)","DOI":"10.1002\/9783527621682"},{"key":"12_CR4","unstructured":"Cardelli, L.: On process rate semantics (2007)"},{"key":"12_CR5","unstructured":"Cardelli, L., Phillips, A.: Spim homepage At (2006), \n                  \n                    research.microsoft.com\/~aphillip\/spim\/"},{"issue":"2","key":"12_CR6","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1039\/b604484k","volume":"36","author":"B. Champin","year":"2006","unstructured":"Champin, B., Mobian, P., Sauvage, J.-P.: Transition metal complexes as molecular machine prototypes. Chemical Society Reviews\u00a036(2), 358\u2013366 (2006)","journal-title":"Chemical Society Reviews"},{"issue":"1","key":"12_CR7","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V. Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science\u00a0325(1), 69\u2013110 (2004)","journal-title":"Theoretical Computer Science"},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"2145","DOI":"10.1002\/cphc.200500295","volume":"6","author":"S. Garaud\u00e9e","year":"2005","unstructured":"Garaud\u00e9e, 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.\u00a06, 2145 (2005)","journal-title":"Chem. Phys. Chem."},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem.\u00a081, 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"Proc. of the 7th int. conference on Computer performance evaluation: modelling techniques and tools","author":"S. Gilmore","year":"1994","unstructured":"Gilmore, S., Hillston, J.: The pepa workbench: a tool to support a process algebra-based approach to performance modelling. In: Proc. of the 7th int. conference on Computer performance evaluation: modelling techniques and tools, Secaucus, NJ, USA, pp. 353\u2013368. Springer, New York (1994)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Interactive Markov Chains","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains. LNCS, vol.\u00a02428. Springer, Heidelberg (2002)"},{"issue":"22","key":"12_CR12","doi-asserted-by":"publisher","first-page":"5391","DOI":"10.1063\/1.1826222","volume":"85","author":"T.-J. Huang","year":"2004","unstructured":"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\u00a085(22), 5391\u20135393 (2004)","journal-title":"Applied Physics Letters"},{"issue":"18","key":"12_CR13","doi-asserted-by":"publisher","first-page":"3284","DOI":"10.1002\/1521-3773(20000915)39:18<3284::AID-ANIE3284>3.0.CO;2-7","volume":"39","author":"M.C. Jimenez","year":"2000","unstructured":"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.\u00a039(18), 3284\u20133287 (2000)","journal-title":"Angew. Chem. Int. Ed."},{"key":"12_CR14","unstructured":"Laneve, C., Tarissan, F.: A simple calculus of protein and cells. In: Proceeding of MeCBIC 2006. ENTCS, vol.\u00a01677 (2007)"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"1904","DOI":"10.1002\/anie.199719041","volume":"36","author":"M.-V. Mart\u00ednez-D\u00edaz","year":"1997","unstructured":"Mart\u00ednez-D\u00edaz, M.-V., Spencer, N., Stoddart, J.F.: The self-assembly of a switchable [2]rotaxane. Angew. Chem. Int. Ed. Engl.\u00a036, 1904\u20131907 (1997)","journal-title":"Angew. Chem. Int. Ed. Engl."},{"key":"12_CR16","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"12_CR17","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)"},{"issue":"7","key":"12_CR18","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic pi-calculus. Computer Journal\u00a038(7), 578\u2013589 (1995)","journal-title":"Computer Journal"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"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\u00a080, 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"volume-title":"Molecular catenanes, rotaxanes and knots","year":"1999","key":"12_CR20","unstructured":"Sauvage, J.-P., Dietrich-Bucheker, C.O. (eds.): Molecular catenanes, rotaxanes and knots. Wiley-VCH, Weinheim (1999)"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75140-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T21:57:32Z","timestamp":1558475852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75140-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540751397","9783540751403"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75140-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}