{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T05:52:29Z","timestamp":1790920349134,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":54,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540308836","type":"print"},{"value":"9783540314462","type":"electronic"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11599128_10","type":"book-chapter","created":{"date-parts":[[2005,12,5]],"date-time":"2005-12-05T13:15:24Z","timestamp":1133788524000},"page":"145-168","source":"Crossref","is-referenced-by-count":46,"title":["Abstract Machines of Systems Biology"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"10_CR1","first-page":"1085","volume-title":"What is complexity? BioEssays","author":"C. Adami","year":"2002","unstructured":"Adami, C.: What is complexity? BioEssays, vol.\u00a024, pp. 1085\u20131094. Wiley, Chichester (2002)"},{"key":"10_CR2","unstructured":"Alberts, B., Bray, D., Lewis, J., Raff, M., Roberts, K., Watson, J.D.: Molecular biology of the cell, 3rd edn., Garland"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45351-2_6","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schug, J.: Hybrid modeling of biomolecular networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, p. 19. Springer, Heidelberg (2001)"},{"key":"10_CR4","first-page":"116","volume-title":"The Pacific Symposium on Biocomputing (PSB 2003)","author":"M. Antoniotti","year":"2003","unstructured":"Antoniotti, M., Mishra, B., Park, F., Policriti, A., Ugel, N.: Foundations of a query and simulation system for the modeling of biochemical and biological processes. In: Hunter, L., Jung, T.A., Altman, R.B., Dunker, A.K., Klein, T.E. (eds.) The Pacific Symposium on Biocomputing (PSB 2003), pp. 116\u2013127. World Scientific, Singapore (2003)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-36481-1_6","volume-title":"Computational Methods in Systems Biology","author":"M. Antoniotti","year":"2003","unstructured":"Antoniotti, M., Piazza, C., Policriti, A., Simeoni, M., Mishra, B.: Modeling cellular behavior with hybrid automata: bisimulation and collapsing. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 57\u201374. Springer, Heidelberg (2003)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics (2003) (in press)","DOI":"10.1385\/CBB:38:3:271"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/BFb0055617","volume-title":"CONCUR \u201998 Concurrency Theory","author":"C. Bodei","year":"1998","unstructured":"Bodei, C., Degano, P., Nielson, F., Nielson, H.R.: Control flow analysis for the pi-calculus. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 84\u201398. Springer, Heidelberg (1998)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1034\/j.1600-0854.2000.010804.x","volume":"1","author":"K.N.J. Burger","year":"2000","unstructured":"Burger, K.N.J.: Greasing membrane fusion and fission machineries. Traffic\u00a01, 605\u2013613 (2000)","journal-title":"Traffic"},{"key":"10_CR9","first-page":"469","volume":"13","author":"G. Ciobanu","year":"2002","unstructured":"Ciobanu, G., Ciubotariu, V., Tanasa, B.: A p-calculus model of the Na pump. Genome Informatics\u00a013, 469\u2013471 (2002)","journal-title":"Genome Informatics"},{"key":"10_CR10","series-title":"Natural Computing Series","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-642-18734-6","volume-title":"Modelling in Molecular Biology","author":"G. Ciobanu","year":"2004","unstructured":"Ciobanu, G.: Software verification of biomolecular systems. In: Ciobanu, G., Rozenberg, G. (eds.) Modelling in Molecular Biology. Natural Computing Series, pp. 40\u201359. Springer, Heidelberg (2004)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Curti, M., Degano, P., Priami, C., Baldari, C.T.: Modelling biochemical pathways through enhanced pi-calculus. Theoretical Computer Science\u00a0325(1), 111\u2013140","DOI":"10.1016\/j.tcs.2004.03.066"},{"key":"10_CR12","volume-title":"Proc. Computational Methods in Systems Biology 2004","author":"L. Cardelli","year":"2004","unstructured":"Cardelli, L.: Brane calculi \u2013 Interactions of biological membranes. In: Proc. Computational Methods in Systems Biology 2004. Springer, Heidelberg (2004) (to appear)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Le M\u00e9tayer, D. (ed.) Theoretical Computer Science, June 2000. Special Issue on Coordination, vol.\u00a0240\/1, pp. 177\u2013213 (2000)","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Danos, V., Chiaverini, M.: A core modeling language for the working molecular biologist (2002)","DOI":"10.1007\/3-540-36481-1_16"},{"key":"10_CR15","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science (to appear)"},{"issue":"4","key":"10_CR16","doi-asserted-by":"publisher","first-page":"1475","DOI":"10.1073\/pnas.0437746100","volume":"100","author":"E.H. Davidson","year":"2003","unstructured":"Davidson, E.H., McClay, D.R., Hood, L.: Regulatory gene networks and the properties of the developmental process. PNAS\u00a0100(4), 1475\u20131480 (2003)","journal-title":"PNAS"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/3-540-45605-8_15","volume-title":"Process Algebra and Probabilistic Methods. Performance Modeling and Verification","author":"A. Pierro Di","year":"2002","unstructured":"Di Pierro, A., Wiklicky, H.: Probabilistic abstract interpretation and statistical testing (Extended abstract). In: Hermanns, H., Segala, R. (eds.) PROBMIV 2002, PAPM-PROBMIV 2002, and PAPM 2002. LNCS, vol.\u00a02399, pp. 211\u2013212. Springer, Heidelberg (2002)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Efroni, S., Harel, D., Cohen, I.R.: Reactive animation: realistic modeling of complex dynamic systems. IEEE Computer (2005) (to appear)","DOI":"10.1109\/MC.2005.31"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"M.B. Elowitz","year":"2000","unstructured":"Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature\u00a0403, 335\u2013338 (2000)","journal-title":"Nature"},{"issue":"2","key":"10_CR20","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. J. Biological Physics and Chemistry\u00a04(2), 64\u201373 (2004)","journal-title":"J. Biological Physics and Chemistry"},{"key":"10_CR21","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, 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"issue":"6761 Suppl","key":"10_CR23","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1038\/35011540","volume":"402","author":"L.H. Hartwell","year":"1999","unstructured":"Hartwell, L.H., Hopfield, J.J., Leibler, S., Murray, A.W.: From molecular to modular cell biology. Nature\u00a0402(6761 Suppl.), C47\u201352 (1999)","journal-title":"Nature"},{"key":"10_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A compositional approach to performance modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A compositional approach to performance modelling. Cambridge University Press, Cambridge (1996)"},{"key":"10_CR25","doi-asserted-by":"publisher","first-page":"10078","DOI":"10.1073\/pnas.93.19.10078","volume":"93","author":"C.-Y.F. Huang","year":"1996","unstructured":"Huang, C.-Y.F., Ferrell Jr, J.E.: Ultrasensitivity in the mitogen-activated protein kinase cascade. PNAS\u00a093, 10078\u201310083 (1996)","journal-title":"PNAS"},{"issue":"25","key":"10_CR26","doi-asserted-by":"publisher","first-page":"14796","DOI":"10.1073\/pnas.2036429100","volume":"100","author":"S. Kauffman","year":"2003","unstructured":"Kauffman, S., Peterson, C., Samuelsson, B., Troein, C.: Random Boolean network models and the yeast transcriptional network. PNAS\u00a0100(25), 14796\u201314799 (2003)","journal-title":"PNAS"},{"key":"10_CR27","unstructured":"Kitano, H.: The standard graphical notation for biological networks. In: The Sixth Workshop on Software Platforms for Systems Biology (2002)"},{"key":"10_CR28","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S1478-5382(03)02380-1","volume":"1","author":"H. Kitano","year":"2003","unstructured":"Kitano, H.: A graphical notation for biochemical networks. BIOSILICO\u00a01, 169\u2013176 (2003)","journal-title":"BIOSILICO"},{"issue":"8","key":"10_CR29","doi-asserted-by":"crossref","first-page":"2703","DOI":"10.1091\/mbc.10.8.2703","volume":"10","author":"K.W. Kohn","year":"1999","unstructured":"Kohn, K.W.: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell\u00a010(8), 2703\u20132734 (1999)","journal-title":"Molecular Biology of the Cell"},{"key":"10_CR30","unstructured":"Kuttler, C., Niehren, J., Blossey, R.: Gene regulation in the pi calculus: simulating cooperativity at the Lambda switch. In: BioConcur 2004. ENTCS (2004)"},{"issue":"2","key":"10_CR31","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","volume":"6","author":"M. Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: a hybrid approach. J. Software Tools for Technology Transfer (STTT)\u00a06(2), 128\u2013142 (2004)","journal-title":"J. Software Tools for Technology Transfer (STTT)"},{"key":"10_CR32","volume-title":"Molecular cell biology","author":"H. Lodish","year":"2002","unstructured":"Lodish, H., Berk, A., Zipursky, S.L., Matsudaira, P., Baltimore, D., Darnell, J.: Molecular cell biology, 4th edn. Freeman, New York (2002)","edition":"4"},{"key":"10_CR33","unstructured":"Mattick, J.S.: The hidden genetic program of complex organisms. Scientific American, 31\u201337 (October 2004)"},{"issue":"2","key":"10_CR34","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0168-9525(98)01659-X","volume":"15","author":"H.H. McAdams","year":"1999","unstructured":"McAdams, H.H., Arkin, A.: It\u2019s a noisy business! Genetic regulation at the nanomolar scale. Trends Genet.\u00a015(2), 65\u201369 (1999)","journal-title":"Trends Genet."},{"key":"10_CR35","volume-title":"Communicating and mobile systems: the p-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the p-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"10_CR36","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1126\/science.298.5594.824","volume":"298","author":"R. Milo","year":"2002","unstructured":"Milo, R., Shen-Orr, S., Itzkovitz, S., Kashtan, N., Chklovskii, D., Alon, U.: Network motifs: simple building blocks of complex networks. Science\u00a0298, 824\u2013827 (2002)","journal-title":"Science"},{"key":"10_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-44685-0_2","volume-title":"CONCUR 2001 - Concurrency Theory","author":"R. Milner","year":"2001","unstructured":"Milner, R.: Bigraphical reactive systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 16\u201335. Springer, Heidelberg (2001)"},{"key":"10_CR38","first-page":"133","volume":"10","author":"M. Nagasaki","year":"1999","unstructured":"Nagasaki, M., Onami, S., Miyano, S., Kitano, H.: Bio-calculus: its concept and molecular interaction. Genome Informatics\u00a010, 133\u2013143 (1999) PMID: 11072350","journal-title":"Genome Informatics"},{"issue":"2-3","key":"10_CR39","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/S0167-6423(02)00131-4","volume":"47","author":"F. Nielson","year":"2003","unstructured":"Nielson, F., Hansen, R.R., Nielson, H.R.: Abstract interpretation of mobile ambients. Science of Computer Programming\u00a047(2-3), 145\u2013175 (2003)","journal-title":"Science of Computer Programming"},{"key":"10_CR40","unstructured":"Nielson, F., Nielson, H.R., Priami, C., Rosa, D.: Static analysis for systems biology. In: Proc. ACM Winter International Symposium on Information and Communication Technologies, Cancun (2004)"},{"key":"10_CR41","doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H.R., Priami, C., Rosa, D.: Control flow analysis for BioAmbients. In: Proc. BioCONCUR (2003) (to appear)","DOI":"10.1007\/978-3-540-27864-1_8"},{"key":"10_CR42","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane computing","author":"G. Paun","year":"2002","unstructured":"Paun, G.: Membrane computing. Springer, Heidelberg (2002)"},{"key":"10_CR43","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: The stochastic pi-calculus. The Computer Journal\u00a038, 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"10_CR44","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"},{"key":"10_CR45","first-page":"360","volume-title":"Proceeding of SIGGRAPH 1993","author":"P. Prusinkiewicz","year":"1993","unstructured":"Prusinkiewicz, P., Hammel, M., Mjolsness, E.: Animation of plant development. In: Proceeding of SIGGRAPH 1993, vol.\u00a0351, p. 360. ACM Press, New York (1993)"},{"key":"10_CR46","unstructured":"Ptashne, M.: Genetic switch: phage Lambda revisited, 3rd edn. Cold Spring Harbor Laboratory Press (2004)"},{"key":"10_CR47","unstructured":"Regev, A.: Computational systems biology: a calculus for biomolecular knowledge. Ph.D. Thesis, Tel Aviv University (2002)"},{"key":"10_CR48","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theoretical Computer Science (to appear)"},{"key":"10_CR49","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, 343 (2002)","journal-title":". Nature"},{"issue":"11","key":"10_CR50","doi-asserted-by":"publisher","first-page":"1778","DOI":"10.1109\/JPROC.2002.804686","volume":"90","author":"I. Shmulevich","year":"2002","unstructured":"Shmulevich, I., Dougherty, E.R., Zhang, W.: From Boolean to probabilistic Boolean networks as models of genetic regulatory networks. Proceedings of the IEEE\u00a090(11), 1778\u20131792 (2002)","journal-title":". Proceedings of the IEEE"},{"key":"10_CR51","unstructured":"Systems biology markup language, http:\/\/www.sbml.org"},{"key":"10_CR52","unstructured":"Thieffry, D., Thomas, R.: Qualitative analysis of gene networks. In: Pacific Symposium on Biocomputing, pp. 77\u201388 (1998) PMID: 9697173"},{"issue":"9","key":"10_CR53","doi-asserted-by":"publisher","first-page":"5988","DOI":"10.1073\/pnas.092133899","volume":"99","author":"J.M. Vilar","year":"2002","unstructured":"Vilar, J.M., Kueh, H.Y., Barkai, N., Leibler, S.: Mechanisms of noise-resistance in genetic oscillators. PNAS\u00a099(9), 5988\u20135992 (2002)","journal-title":"PNAS"},{"key":"10_CR54","doi-asserted-by":"publisher","first-page":"1896","DOI":"10.1126\/science.279.5358.1896","volume":"279","author":"C.-H. Yuh","year":"1998","unstructured":"Yuh, C.-H., Bolouri, H., Davidson, E.H.: Genomic cis-regulatory logic: experimental and computational analysis of a sea urchin gene. Science\u00a0279, 1896\u20131902 (1998), www.sciencemag.org","journal-title":"Science"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11599128_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T10:32:31Z","timestamp":1586601151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11599128_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308836","9783540314462"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/11599128_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}