{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T00:24:47Z","timestamp":1779927887197,"version":"3.53.1"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540688921","type":"print"},{"value":"9783540688945","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-68894-5_9","type":"book-chapter","created":{"date-parts":[[2008,5,30]],"date-time":"2008-05-30T12:39:25Z","timestamp":1212151165000},"page":"313-365","source":"Crossref","is-referenced-by-count":35,"title":["The BlenX Language: A Tutorial"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Dematt\u00e9","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandro","family":"Romanel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2006.05.002","volume":"70","author":"M. Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: Service oriented computing from a process algebraic perspective. Journal of Logic and Algebraic Programming\u00a070(1), 3\u201314 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"9_CR2","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","volume-title":"Computational Methods in Systems Biology","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Brane Calculi - Interactions of B iological Membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. In: TCS (2004)","DOI":"10.1007\/3-540-36575-3_21"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/978-3-540-28644-8_19","volume-title":"CONCUR 2004 - Concurrency Theory","author":"V. Danos","year":"2004","unstructured":"Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 292\u2013307. Springer, Heidelberg (2004)"},{"key":"9_CR5","series-title":"ENTCS","first-page":"101","volume-title":"Proc. of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006)","author":"P. Degano","year":"2006","unstructured":"Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for Biological Quantitative Experiments. In: Proc. of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006). ENTCS, vol.\u00a0164, pp. 101\u2013117. Elsevier, Amsterdam (2006)"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"1183","DOI":"10.1126\/science.1070919","volume":"297","author":"M. Elowitz","year":"2002","unstructured":"Elowitz, M., Levine, A., Siggia, E., Swain, P.: Stochastic gene expression in a single cell. Science\u00a0297, 1183\u20131186 (2002)","journal-title":"Science"},{"issue":"20","key":"9_CR7","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(20), 335\u2013338 (2000)","journal-title":"Nature"},{"issue":"4","key":"9_CR8","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1089\/omi.2004.8.370","volume":"8","author":"D. Errampalli","year":"2004","unstructured":"Errampalli, D., Priami, C., Quaglia, P.: A formal language for computational systems biology. OMICS: A Journal of Integrative Biology\u00a08(4), 370\u2013380 (2004)","journal-title":"OMICS: A Journal of Integrative Biology"},{"key":"9_CR9","volume-title":"Computational Cell Biology","author":"C.P. Fall","year":"2002","unstructured":"Fall, C.P., Marland, E.S., Wagner, J.M., Tyson, J.J.: Computational Cell Biology. Springer, Heidelberg (2002)"},{"issue":"4","key":"9_CR10","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D.T. Gillespie","year":"1976","unstructured":"Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. The Journal of Computational Physics\u00a022(4), 403\u2013434 (1976)","journal-title":"The Journal of Computational Physics"},{"key":"9_CR11","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. The Journal of Chemical Physics\u00a081, 2340\u20132361 (1977)","journal-title":"The Journal of Chemical Physics"},{"key":"9_CR12","first-page":"403","volume":"22","author":"D.T. Gillespie","year":"1976","unstructured":"Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Phys. Chem.\u00a022, 403\u2013434 (1976)","journal-title":"J. Phys. Chem."},{"issue":"25","key":"9_CR13","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(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling","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. LNCS, vol.\u00a0794, pp. 353\u2013368. Springer, Heidelberg (1994)"},{"issue":"1-2","key":"9_CR15","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0167-6423(81)90005-8","volume":"1","author":"C.A.R. Hoare","year":"1981","unstructured":"Hoare, C.A.R.: A calculus of total correctness for communicating processes. Science of Computer Programming\u00a01(1-2), 49\u201372 (1981)","journal-title":"Science of Computer Programming"},{"key":"9_CR16","doi-asserted-by":"crossref","first-page":"2323","DOI":"10.1182\/blood.V96.7.2323","volume":"96","author":"D. Hume","year":"2000","unstructured":"Hume, D.: Probability in transcriptional regulation and its implications for leukocyte differentiation and inducible gene expression. Blood\u00a096, 2323\u20132328 (2000)","journal-title":"Blood"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0168-9525(98)01659-X","volume":"15","author":"H.H. McAdams","year":"1999","unstructured":"McAdams, H.H.: It is a noisy business! genetic regulation at the nanomolar scale. Trends Genet\u00a015, 65\u201369 (1999)","journal-title":"Trends Genet"},{"key":"9_CR18","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Englewood Cliffs (1989)"},{"key":"9_CR19","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Bioconcur 2004, ENTCS (August 2004)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Priami, C.: The stochastic \u03c0-calculus. The Computer Journal\u00a0(38), 578\u2013589 (1995)","DOI":"10.1093\/comjnl\/38.7.578"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Priami, C., Quaglia, P.: Beta binders for biological interactions. In: CMSB, pp. 20\u201333 (2004)","DOI":"10.1007\/978-3-540-25974-9_3"},{"key":"9_CR22","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":"3","key":"9_CR23","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1093\/bib\/5.3.259","volume":"5","author":"C. Priami","year":"2004","unstructured":"Priami, C., Quaglia, P.: Modeling the dynamics of bio-systems. Briefings in Bioinformatics\u00a05(3), 259\u2013269 (2004)","journal-title":"Briefings in Bioinformatics"},{"issue":"1","key":"9_CR24","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A. Regev","year":"2004","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: an abstraction for biological compartments. Theor. Comput. Sci.\u00a0325(1), 141\u2013167 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Ross, I., Browne, C., Hume, D.: Transcription of individual genes in eukaryotic cells occurs randomly and infrequently. In: Immunol Cell Biol. (1994)","DOI":"10.1038\/icb.1994.26"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Spudich, J., Koshland, D.E.J.: Non-genetic individuality: Chance in the single cell. Nature (1976)","DOI":"10.1038\/262467a0"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Stock, A.M., Robinson, V.L., Goudreau, P.N.: Two-component signal transduction. Annu. Rev. Biochem.\u00a0(69), 183\u2013215 (2000)","DOI":"10.1146\/annurev.biochem.69.1.183"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Computational Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68894-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,6]],"date-time":"2020-05-06T02:18:31Z","timestamp":1588731511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68894-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540688921","9783540688945"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68894-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}