{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T06:01:44Z","timestamp":1774504904947,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540766360","type":"print"},{"value":"9783540766377","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-76637-7_10","type":"book-chapter","created":{"date-parts":[[2007,11,20]],"date-time":"2007-11-20T07:47:52Z","timestamp":1195544872000},"page":"139-157","source":"Crossref","is-referenced-by-count":107,"title":["Scalable Simulation of Cellular Signaling Networks"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Danos","sequence":"first","affiliation":[]},{"given":"J\u00e9r\u00f4me","family":"Feret","sequence":"additional","affiliation":[]},{"given":"Walter","family":"Fontana","sequence":"additional","affiliation":[]},{"given":"Jean","family":"Krivine","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","first-page":"459","volume-title":"Pacific Symposium on Biocomputing","author":"A. Regev","year":"2001","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the \u03c0-calculus process algebra. In: Altman, R.B., Dunker, A.K., Hunter, L., Klein, T.E. (eds.) Pacific Symposium on Biocomputing, vol.\u00a06, pp. 459\u2013470. World Scientific Press, Singapore (2001)"},{"key":"10_CR2","doi-asserted-by":"crossref","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 (2001)","DOI":"10.1016\/S0020-0190(01)00214-9"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Regev, A., Shapiro, E.: Cells as computation. Nature 419 (2002)","DOI":"10.1038\/419343a"},{"issue":"1","key":"10_CR4","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., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theoretical Computer Science\u00a0325(1), 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"CONCUR 2007","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. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, Springer, Heidelberg (2007)"},{"key":"10_CR6","unstructured":"Curien, P.L., Danos, V., Krivine, J., Zhang, M.: Computational self-assembly (submitted, 2007)"},{"key":"10_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, 69\u2013110 (2004)","journal-title":"Theoretical Computer Science"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-36575-3_21","volume-title":"Programming Languages and Systems","author":"V. Danos","year":"2003","unstructured":"Danos, V., Laneve, C.: Core formal molecular biology. In: Degano, P. (ed.) ESOP 2003 and ETAPS 2003. LNCS, vol.\u00a02618, pp. 302\u2013318. Springer, Heidelberg (2003)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Faeder, J., Blinov, M., Hlavacek, W.: Graphical rule-based representation of signal-transduction networks. In: Proc. ACM Symp. Appl. Computing, pp. 133\u2013140 (2005)","DOI":"10.1145\/1066677.1066712"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1002\/cplx.20074","volume":"10","author":"J. Faeder","year":"2005","unstructured":"Faeder, J., Blinov, M.B.G., Hlavacek, W.: BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Complexity\u00a010, 22\u201341 (2005)","journal-title":"Complexity"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Blinov, M., Yang, J., Faeder, J., Hlavacek, W.: Graph theory for rule-based modeling of biochemical networks. In: BioCONCUR 2005 (2005)","DOI":"10.1007\/11905455_5"},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1049\/sb:20045031","volume":"2","author":"J.R. Faeder","year":"2005","unstructured":"Faeder, J.R., Blinov, M.L., Goldstein, B., Hlavacek, W.S.: Combinatorial complexity and dynamical restriction of network flows in signal transduction. Systems Biology\u00a02(1), 5\u201315 (2005)","journal-title":"Systems Biology"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/j.biosystems.2005.06.014","volume":"83","author":"M.L. Blinov","year":"2006","unstructured":"Blinov, M.L., Faeder, J.R., Goldstein, B., Hlavacek, W.S.: A network model of early events in epidermal growth factor receptor signaling that accounts for combinatorial complexity. BioSystems\u00a083, 136\u2013151 (2006)","journal-title":"BioSystems"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Hlavacek, W., Faeder, J., Blinov, M., Posner, R., Hucka, M., Fontana, W.: Rules for Modeling Signal-Transduction Systems. Science\u2019s STKE 2006(344) (2006)","DOI":"10.1126\/stke.3442006re6"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Kiyatkin, A., Aksamitiene, E., Markevich, N., Borisov, N., Hoek, J., Kholodenko, B.: Scaffolding Protein Grb2-associated Binder 1 Sustains Epidermal Growth Factor-induced Mitogenic and Survival Signaling by Multiple Positive Feedback Loops. Journal of Biological Chemistry\u00a0281(29) (2006)","DOI":"10.1074\/jbc.M600482200"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"1195","DOI":"10.1038\/ncb1497","volume":"8","author":"B. Aldridge","year":"2006","unstructured":"Aldridge, B., Burke, J., Lauffenburger, D., Sorger, P.: Physicochemical modelling of cell signalling pathways. Nat. Cell. Biol.\u00a08, 1195\u20131203 (2006)","journal-title":"Nat. Cell. Biol."},{"key":"10_CR17","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":"10_CR18","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sonmez, K.: Pathway logic: Symbolic analysis of biological signaling. In: Proceedings of the Pacific Symposium on Biocomputing, pp. 400\u2013412 (2002)","DOI":"10.1142\/9789812799623_0038"},{"key":"10_CR19","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)"},{"key":"10_CR20","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"31","volume-title":"Proceedings of BIO-CONCUR 2003","author":"V. Danos","year":"2003","unstructured":"Danos, V., Krivine, J.: Formal molecular biology done in CCS. In: Proceedings of BIO-CONCUR 2003, Marseille, France. Electronic Notes in Theoretical Computer Science, vol.\u00a0180, pp. 31\u201349. Elsevier, Amsterdam (2003)"},{"key":"10_CR21","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"BIO-CONCUR 2003","author":"L. Cardelli","year":"2003","unstructured":"Cardelli, L.: Brane calculi. In: BIO-CONCUR 2003, Marseille, France. Electronic Notes in Theoretical Computer Science, vol.\u00a0180, Elsevier, Amsterdam (2003)"},{"key":"10_CR22","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11905455_1","volume-title":"Transactions on Computational Systems Biology VII","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: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Nielson, H.R. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1126\/science.1083653","volume":"300","author":"T. Pawson","year":"2003","unstructured":"Pawson, T., Nash, P.: Assembly of Cell Regulatory Systems Through Protein Interaction Domains. Science\u00a0300, 445\u2013452 (2003)","journal-title":"Science"},{"key":"10_CR24","series-title":"LNCS(LNBI)","volume-title":"Proceedings of CMSB 2007","author":"A. Phillips","year":"2007","unstructured":"Phillips, A., Cardelli, L.: Efficient, correct simulation of biological processes in the stochastic pi-calculus. In: Proceedings of CMSB 2007. LNCS(LNBI), vol.\u00a04695, Springer, Heidelberg (2007)"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for biological quantitative experiments. In: Proceedings of QAPL. ENTCS, vol.\u00a0164, pp. 101\u2013117 (2006)","DOI":"10.1016\/j.entcs.2006.07.014"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1016\/0021-9991(75)90060-1","volume":"17","author":"A.B. Bortz","year":"1975","unstructured":"Bortz, A.B., Kalos, M.H., Lebowitz, J.L.: A new algorithm for Monte Carlo simulation of Ising spin systems. J. Comp. Phys.\u00a017, 10\u201318 (1975)","journal-title":"J. Comp. Phys."},{"key":"10_CR27","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":"10_CR28","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. J. Comp. Phys.\u00a022, 403\u2013434 (1976)","journal-title":"J. Comp. Phys."},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1145\/322108.322122","volume":"26","author":"G. Berry","year":"1979","unstructured":"Berry, G., L\u00e9vy, J.J.: Minimal and optimal computation of recursive programs. JACM\u00a026, 148\u2013175 (1979)","journal-title":"JACM"},{"key":"10_CR30","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains. Theoretical Computer Science\u00a013, 85\u2013108 (1981)","journal-title":"Theoretical Computer Science"},{"key":"10_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/BFb0035764","volume-title":"Automata, Languages and Programming","author":"P. Darondeau","year":"1989","unstructured":"Darondeau, P., Degano, P.: Causal trees. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) Automata, Languages and Programming. LNCS, vol.\u00a0372, pp. 234\u2013248. Springer, Heidelberg (1989)"},{"key":"10_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/BFb0012800","volume-title":"Automata, Languages, and Programming","author":"G. Winskel","year":"1982","unstructured":"Winskel, G.: Event structure semantics for CCS and related languages. In: Nielsen, M., Schmidt, E.M. (eds.) Automata, Languages, and Programming. LNCS, vol.\u00a0140, pp. 561\u2013576. Springer, Heidelberg (1982)"},{"key":"10_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/BFb0013028","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"G. Boudol","year":"1989","unstructured":"Boudol, G., Castellani, I.: Permutation of transitions: An event structure semantics for CCS and SCCS. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol.\u00a0354, pp. 411\u2013427. Springer, Heidelberg (1989)"},{"key":"10_CR34","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s002360050124","volume":"35","author":"M. Boreale","year":"1998","unstructured":"Boreale, M., Sangiorgi, D.: A fully abstract semantics for causality in the \u03c0-calculus. Acta Inf.\u00a035, 353\u2013400 (1998)","journal-title":"Acta Inf."},{"issue":"1-2","key":"10_CR35","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0304-3975(99)80003-6","volume":"216","author":"P. Degano","year":"1999","unstructured":"Degano, P., Priami, C.: Non-interleaving semantics for mobile processes. Theoretical Computer Science\u00a0216(1-2), 237\u2013270 (1999)","journal-title":"Theoretical Computer Science"},{"key":"10_CR36","unstructured":"Baldi, C., Degano, P., Priami, C.: Causal \u03c0-calculus for biochemical modeling. In: Proceedings of the AI*IA Workshop on BioInformatics 2002, pp. 69\u201372 (2002)"},{"key":"10_CR37","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.tcs.2004.03.066","volume":"325","author":"M. Curti","year":"2004","unstructured":"Curti, M., Degano, P., Priami, C., Baldari, C.T.: Modelling biochemical pathways through enhanced \u03c0-calculus. Theor. Comp. Sci.\u00a0325, 111\u2013140 (2004)","journal-title":"Theor. Comp. Sci."},{"key":"10_CR38","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)"},{"key":"10_CR39","unstructured":"Morton-Firth, C.J.: Stochastic simulation of cell signalling pathways. PhD thesis, Cambridge (1998)"},{"key":"10_CR40","doi-asserted-by":"crossref","unstructured":"Mjolsness, E., Yosiphon, G.: Stochastic process semantics for dynamical grammars. Annals of Mathematics and Artificial Intelligence (2007)","DOI":"10.1007\/s10472-006-9034-1"},{"key":"10_CR41","unstructured":"Giavitto, J.L., Michel, O.: MGS: a programming language for the transformations of topological collections. Technical Report 61-2001, LaMI (2001)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76637-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T18:06:30Z","timestamp":1737569190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76637-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540766360","9783540766377"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76637-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}