{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:50:28Z","timestamp":1725832228484},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319255262"},{"type":"electronic","value":"9783319255279"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25527-9_23","type":"book-chapter","created":{"date-parts":[[2015,10,7]],"date-time":"2015-10-07T11:08:43Z","timestamp":1444216123000},"page":"354-374","source":"Crossref","is-referenced-by-count":3,"title":["$$\\ell $$ : An Imperative DSL to Stochastically Simulate Biological Systems"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Zunino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u0189urica","family":"Nikoli\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ozan","family":"Kahramano\u011fullar\u0131","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tommaso","family":"Schiavinotto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,20]]},"reference":[{"issue":"4","key":"23_CR1","doi-asserted-by":"publisher","first-page":"S7","DOI":"10.1186\/1471-2105-9-S4-S7","volume":"9","author":"A Bracciali","year":"2008","unstructured":"Bracciali, A., Brunelli, M., Cataldo, E., Degano, P.: Stochastic models for the in silico simulation of synaptic processes. BMC Bioinform. 9(4), S7 (2008)","journal-title":"BMC Bioinform."},{"issue":"7","key":"23_CR2","doi-asserted-by":"publisher","first-page":"1499","DOI":"10.1142\/S0129054111008842","volume":"22","author":"R Brijder","year":"2011","unstructured":"Brijder, R., Ehrenfeucht, A., Main, M.G., Rozenberg, G.: A tour of reaction systems. Int. J. Fond. Comput. Sci. 22(7), 1499\u20131517 (2011)","journal-title":"Int. J. Fond. Comput. Sci."},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-540-73940-1_3","volume-title":"Parallel Computing Technologies","author":"L Brodo","year":"2007","unstructured":"Brodo, L., Degano, P., Priami, C.: A stochastic semantics for bioambients. In: Malyshkin, V.E. (ed.) PaCT 2007. LNCS, vol. 4671, pp. 22\u201334. Springer, Heidelberg (2007)"},{"issue":"4","key":"23_CR4","doi-asserted-by":"publisher","first-page":"044109","DOI":"10.1063\/1.2159468","volume":"124","author":"Y Cao","year":"2006","unstructured":"Cao, Y., Gillespie, D.T., Petzold, L.R.: Efficient step size selection for the tau-leaping simulation method. J. Chem. Phys. 124(4), 044109 (2006)","journal-title":"J. Chem. Phys."},{"issue":"33\u201334","key":"23_CR5","doi-asserted-by":"publisher","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-pepa: a framework for the modelling and analysis of biological systems. Theor. Comput. Sci. 410(33\u201334), 3065\u20133084 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"23_CR6","unstructured":"COSBI: Lsim, the \n                    \n                      \n                    \n                    $$\\ell $$\n                   simulator. \n                    http:\/\/www.cosbi.eu\/research\/prototypes\/L"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"V Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling of cellular signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 17\u201341. Springer, Heidelberg (2007)"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-76637-7_10","volume-title":"Programming Languages and Systems","author":"V Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Scalable simulation of cellular signaling networks. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 139\u2013157. Springer, Heidelberg (2007)"},{"issue":"3","key":"23_CR9","doi-asserted-by":"publisher","first-page":"e32032","DOI":"10.1371\/journal.pone.0032032","volume":"7","author":"EJ Deeds","year":"2012","unstructured":"Deeds, E.J., Krivine, J., Feret, J., Danos, V., Fontana, W.: Combinatorial complexity and compositional drift in protein interaction networks. PLoS ONE 7(3), e32032\u2013e32032 (2012)","journal-title":"PLoS ONE"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1007\/978-1-4419-5797-9_31","volume-title":"Systems Biology for Signaling Networks","author":"L Dematt\u00e9","year":"2010","unstructured":"Dematt\u00e9, L., Larcher, R., Palmisano, A., Priami, C., Romanel, A.: Programming biology in BlenX. In: Choi, S. (ed.) Systems Biology for Signaling Networks, pp. 777\u2013820. Springer, New York (2010)"},{"issue":"5","key":"23_CR11","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1093\/bib\/bbn023","volume":"9","author":"L Dematt\u00e9","year":"2008","unstructured":"Dematt\u00e9, L., Priami, C., Romanel, A.: The beta workbench: a computational tool to study the dynamics of biological systems. Briefings Bioinform. 9(5), 437\u2013449 (2008)","journal-title":"Briefings Bioinform."},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-540-68894-5_9","volume-title":"Formal Methods for Computational Systems Biology","author":"L Dematt\u00e9","year":"2008","unstructured":"Dematt\u00e9, L., Priami, C., Romanel, A.: The BlenX language: a tutorial. In: Degano, P., Zavattaro, G., Bernardo, M. (eds.) SFM 2008. LNCS, vol. 5016, pp. 313\u2013365. Springer, Heidelberg (2008)"},{"key":"23_CR13","series-title":"Methods in Molecular Biology","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-1-59745-525-1_5","volume-title":"Systems Biology","author":"JR Faeder","year":"2009","unstructured":"Faeder, J.R., Blinov, M.L., Hlavacek, W.S.: Rule-based modeling of biochemical systems with bionetgen. In: Maly, I.V. (ed.) Systems Biology. Methods in Molecular Biology, pp. 113\u2013167. Humana Press, New York (2009)"},{"issue":"9","key":"23_CR14","doi-asserted-by":"publisher","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"104","author":"M Gibson","year":"2000","unstructured":"Gibson, M., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. J. Phys. Chem. A 104(9), 1876\u20131889 (2000)","journal-title":"J. Phys. Chem. A"},{"issue":"4","key":"23_CR15","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"DT Gillespie","year":"1976","unstructured":"Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comp. Phys. 22(4), 403\u2013434 (1976)","journal-title":"J. Comp. Phys."},{"issue":"25","key":"23_CR16","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"4","key":"23_CR17","doi-asserted-by":"publisher","first-page":"1716","DOI":"10.1063\/1.1378322","volume":"115","author":"DT Gillespie","year":"2001","unstructured":"Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. J. Chem. Phys. 115(4), 1716\u20131733 (2001)","journal-title":"J. Chem. Phys."},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Gostner, R., Baldacci, B., Morine, M.J., Priami, C.: Graphical modeling tools for systems biology. ACM Computing Surveys, to appear (2014)","DOI":"10.1145\/2633461"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-68894-5_7","volume-title":"Formal Methods for Computational Systems Biology","author":"M Heiner","year":"2008","unstructured":"Heiner, M., Gilbert, D., Donaldson, R.: Petri nets for systems and synthetic biology. In: Degano, P., Bernardo, M., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 215\u2013264. Springer, Heidelberg (2008)"},{"issue":"6921","key":"23_CR20","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 421(6921), 444\u2013448 (2003)","journal-title":"Nature"},{"issue":"20","key":"23_CR21","doi-asserted-by":"publisher","first-page":"3381","DOI":"10.1242\/jcs.089110","volume":"124","author":"MC Hung","year":"2011","unstructured":"Hung, M.C., Link, W.: Protein localization in disease and therapy. J. Cell Sci. 124(20), 3381\u20133392 (2011)","journal-title":"J. Cell Sci."},{"issue":"6912","key":"23_CR22","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1038\/nature01254","volume":"420","author":"H Kitano","year":"2002","unstructured":"Kitano, H.: Computational systems biology. Nature 420(6912), 206\u2013210 (2002)","journal-title":"Nature"},{"key":"23_CR23","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H Kitano","year":"2002","unstructured":"Kitano, H.: Systems biology: a brief overview. Science 295, 1662\u20131664 (2002)","journal-title":"Science"},{"key":"23_CR24","unstructured":"Krivine, J., Feret, J.: Kasim, the kappa simulator. \n                    http:\/\/www.kappalanguage.org"},{"key":"23_CR25","unstructured":"Molloy, M.K.: On the integration of delay and throughput measures in distributed processing models. Ph.D. thesis, UCLA, Los Angeles, CA (1981)"},{"issue":"3","key":"23_CR26","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/319301.319345","volume":"21","author":"G Morrisett","year":"1999","unstructured":"Morrisett, G., Walker, D., Crary, K., Glew, N.: From system f to typed assembly language. ACM Trans. Program. Lang. Syst. 21(3), 527\u2013568 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"23_CR27","unstructured":"Natkin, S.: Les Reseaux de Petri Stochastiques et leur Application a 1\u2019Evaluation des Syst\u00e8mes Informatiques. Ph.D. thesis, CNAM, Paris, France (1980), th\u00e8se de Docteur Ingegneur"},{"key":"23_CR28","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-540-75140-3_13","volume-title":"Computational Methods in Systems Biology","author":"A Phillips","year":"2007","unstructured":"Phillips, A., Cardelli, L.: Efficient, correct simulation of biological processes in the stochastic Pi-calculus. In: Gilmore, S., Calder, M. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 184\u2013199. Springer, Heidelberg (2007)"},{"issue":"7","key":"23_CR29","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. Comput. J. 38(7), 578\u2013589 (1995)","journal-title":"Comput. J."},{"issue":"5","key":"23_CR30","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/1506409.1506427","volume":"52","author":"C Priami","year":"2009","unstructured":"Priami, C.: Algorithmic systems biology. CACM 52(5), 80\u201388 (2009)","journal-title":"CACM"},{"key":"23_CR31","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-32126-2_5","volume-title":"Transactions on Computational Systems Biology I","author":"C Priami","year":"2005","unstructured":"Priami, C., Quaglia, P.: Operational patterns in beta-binders. In: Priami, C. (ed.) Transactions on Computational Systems Biology I. LNCS (LNBI), vol. 3380, pp. 50\u201365. Springer, Heidelberg (2005)"},{"issue":"1","key":"23_CR32","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108\u2013143 (2000)","journal-title":"J. Comput. Syst. Sci."},{"issue":"17","key":"23_CR33","doi-asserted-by":"publisher","first-page":"2457","DOI":"10.1093\/bioinformatics\/btr401","volume":"27","author":"KR Sanft","year":"2011","unstructured":"Sanft, K.R., Wu, S., Roh, M.K., Fu, J., Lim, R.K., Petzold, L.R.: StochKit2: software for discrete stochastic simulation of biochemical systems with events. Bioinformatics 27(17), 2457\u20132458 (2011)","journal-title":"Bioinformatics"},{"key":"23_CR34","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1002\/wsbm.1209","volume":"5","author":"M Scotti","year":"2013","unstructured":"Scotti, M., Stella, L., Shearer, E.J., Stover, P.J.: Modeling cellular compartmentation in one-carbon metabolism. WIREs Syst. Biol. Med. 5, 343\u2013365 (2013)","journal-title":"WIREs Syst. Biol. Med."},{"key":"23_CR35","unstructured":"Thanh, V.H.: On efficient algorithms for stochastic simulation of biochemical reaction systems. Ph.D. thesis, University of Trento, Italy (2013). \n                    http:\/\/eprints-phd.biblio.unitn.it\/1070\/"},{"issue":"13","key":"23_CR36","doi-asserted-by":"publisher","first-page":"134116","DOI":"10.1063\/1.4896985","volume":"141","author":"VH Thanh","year":"2014","unstructured":"Thanh, V.H., Priami, C., Zunino, R.: Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays. J. Chem. Phys. 141(13), 134116 (2014)","journal-title":"J. Chem. Phys."},{"issue":"24","key":"23_CR37","doi-asserted-by":"publisher","first-page":"244106","DOI":"10.1063\/1.4922923","volume":"142","author":"VH Thanh","year":"2015","unstructured":"Thanh, V.H., Zunino, R., Priami, C.: On the rejection-based algorithm for simulation and analysis of large-scale reaction networks. J. Chem. Phys. 142(24), 244106 (2015)","journal-title":"J. Chem. Phys."},{"issue":"1","key":"23_CR38","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1186\/1752-0509-5-187","volume":"5","author":"J Wu","year":"2011","unstructured":"Wu, J., Vidakovic, B., Voit, E.O.: Constructing stochastic models from deterministic process equations by propensity adjustment. BMC Syst. Biol. 5(1), 187 (2011)","journal-title":"BMC Syst. Biol."}],"container-title":["Lecture Notes in Computer Science","Programming Languages with Applications to Biology and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25527-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T04:05:56Z","timestamp":1559275556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25527-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319255262","9783319255279"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25527-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}