{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T14:57:09Z","timestamp":1780325829675,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540766384","type":"print"},{"value":"9783540766391","type":"electronic"}],"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-76639-1_4","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T23:11:25Z","timestamp":1193440285000},"page":"63-76","source":"Crossref","is-referenced-by-count":6,"title":["Computational Thinking in Biology"],"prefix":"10.1007","author":[{"given":"Corrado","family":"Priami","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"New Approaches in Software Measurement","author":"M. Calder","year":"2006","unstructured":"Calder, M., Gilmore, S., Hillston, J.: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Dumke, R.R., Abran, A. (eds.) IWSM 2000. LNCS, vol.\u00a04230, Springer, Heidelberg (2006)"},{"key":"4_CR2","series-title":"Lecture Notes in Bioinformatics","volume-title":"Computational Methods in Systems Biology","year":"2005","unstructured":"Danos, V., Schachter, V. (eds.): CMSB 2004. LNCS (LNBI), vol.\u00a03082. Springer, Heidelberg (2005)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol.\u00a01378, Springer, Heidelberg (1998)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Castellani, I.: Process algebras with localities. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 945\u20131046 (2001)","DOI":"10.1016\/B978-044482830-9\/50033-3"},{"key":"4_CR5","volume-title":"Modelling in Molecular Biology","year":"2004","unstructured":"Ciobanu, G., Rozenberg, G. (eds.): Modelling in Molecular Biology. Springer, Heidelberg (2004)"},{"key":"4_CR6","unstructured":"Danos, V., Krivine, J.: Formal Molecular Biology done in CCS-R. In: Proceedings of Workshop on Concurrent Models in Molecular Biology (Bio-CONCUR\u201903). Electronic Notes in Theoretical Computer Science (2003)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. TCS\u00a0325(1) (2004)","DOI":"10.1016\/j.tcs.2004.03.065"},{"key":"4_CR8","unstructured":"Finney, A., Sauro, H., Hucka, M., Bolouri, H.: An xml-based model description language for systems biology simulations. Technical report, California Institute of Technology, Technical report (September 2000)"},{"issue":"25","key":"4_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. Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Goss, P.J.E., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. In: Proceedings of the National Academy of Sciences, USA, vol.\u00a012, pp. 6750\u20136754 (1998)","DOI":"10.1073\/pnas.95.12.6750"},{"key":"4_CR11","unstructured":"Guerriero, M.L., Priami, C., Romanel, A.: Beta-binders with static compartments. In: Algebraic Biology, 2007. to appear. Also TR-09-2006. The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2007)"},{"issue":"8","key":"4_CR12","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1038\/nature01410","volume":"421","author":"L. Hood","year":"2003","unstructured":"Hood, L., Galas, D.: The digital code of DNA. Nature\u00a0421, 444\u2013448 (2003)","journal-title":"Nature"},{"key":"4_CR14","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","DOI":"10.1007\/11905455_2","volume-title":"Transactions on Computational Systems Biology VII","author":"C. Kuttler","year":"2006","unstructured":"Kuttler, C., Niehren, J.: Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Nielson, H.R. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, Springer, Heidelberg (2006)"},{"key":"4_CR15","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"4_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 Universtity Press, Cambridge (1999)"},{"key":"4_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511790515","volume-title":"Systems Biology. Properties of reconstructed networks","author":"B.O. Palsson","year":"2006","unstructured":"Palsson, B.O.: Systems Biology. Properties of reconstructed networks. Cambridge Universtity Press, Cambridge (2006)"},{"key":"4_CR18","volume-title":"Membrane Computing. An Introduction","year":"2002","unstructured":"P\u0103un, G. (ed.): Membrane Computing. An Introduction. Springer, Heidelberg (2002)"},{"key":"4_CR19","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","DOI":"10.1007\/11905455_7","volume-title":"Transactions on Computational Systems Biology VII","author":"A. Phillips","year":"2006","unstructured":"Phillips, A., Cardelli, L.: A Correct Abstract Machine for the Stochastic Pi-calculus. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Nielson, H.R. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, Springer, Heidelberg (2006)"},{"issue":"6","key":"4_CR20","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 \u03c0-calculus. The Computer Journal\u00a038(6), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"4_CR21","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/978-3-540-25974-9_3","volume-title":"Computational Methods in Systems Biology","author":"C. Priami","year":"2005","unstructured":"Priami, C., Quaglia, P.: Beta Binders for Biological Interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 20\u201333. Springer, Heidelberg (2005)"},{"issue":"1","key":"4_CR22","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., Silverman, W., Shapiro, E.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters\u00a080(1), 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An Abstraction for Biological Compartments. TCS\u00a0325(1) (2004)","DOI":"10.1016\/j.tcs.2004.03.061"},{"issue":"6905","key":"4_CR24","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A. Regev","year":"2002","unstructured":"Regev, A., Shapiro, E.: Cells as computation. Nature\u00a0419(6905), 343 (2002)","journal-title":"Nature"},{"key":"4_CR25","unstructured":"Romanel, A., Dematt\u00e9, L., Priami, C.: The Beta Workbench. Technical Report TR-3-2007, The Microsoft Research - University of Trento Centre for Computational and Systems Biology (February 2007)"},{"issue":"3","key":"4_CR26","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1118178.1118215","volume":"49","author":"J. Wing","year":"2006","unstructured":"Wing, J.: Computational thinking. Communications of the ACM\u00a049(3), 33\u201335 (2006)","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology VIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76639-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:39:51Z","timestamp":1558262391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76639-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540766384","9783540766391"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76639-1_4","relation":{},"ISSN":["1861-2075","1861-2083"],"issn-type":[{"value":"1861-2075","type":"print"},{"value":"1861-2083","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}