{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:22:13Z","timestamp":1759638133203},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540684107"},{"type":"electronic","value":"9783540684138"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68413-8_8","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T08:03:46Z","timestamp":1212566626000},"page":"103-122","source":"Crossref","is-referenced-by-count":42,"title":["Rule-Based Modelling, Symmetries, Refinements"],"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":"Russell","family":"Harmer","sequence":"additional","affiliation":[]},{"given":"Jean","family":"Krivine","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1042\/BJ20050908","volume":"392","author":"R.J. Orton","year":"2005","unstructured":"Orton, R.J., Sturm, O.E., Vyshemirsky, V., Calder, M., Gilbert, D.R., Kolch, W.: Computational modelling of the receptor tyrosine kinase activated MAPK pathway. Biochemical Journal\u00a0392(2), 249\u2013261 (2005)","journal-title":"Biochemical Journal"},{"issue":"6","key":"8_CR2","doi-asserted-by":"publisher","first-page":"66121","DOI":"10.1103\/PhysRevE.66.066121","volume":"66","author":"B. S\u00f6derberg","year":"2002","unstructured":"S\u00f6derberg, B.: General formalism for inhomogeneous random graphs. Physical Review E\u00a066(6), 66121 (2002)","journal-title":"Physical Review E"},{"key":"8_CR3","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":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-540-78163-9_11","volume-title":"VMCAI 2008","author":"V. Danos","year":"2008","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Abstract interpretation of cellular signalling networks. In: Logozzo, F., et al. (eds.) VMCAI 2008. LNCS, vol.\u00a04905, pp. 83\u201397. Springer, Heidelberg (2008)"},{"key":"8_CR5","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.\u00a04807, pp. 139\u2013157. Springer, Heidelberg (2007)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. LNCS, vol.\u00a04703. Springer, Heidelberg (2007)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Danos, V.: Agile modelling of cellular signalling. In: Proceedings of ICCMSE (2007)","DOI":"10.1063\/1.2836156"},{"key":"8_CR8","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":"8_CR9","first-page":"344","volume":"2006","author":"W.S. Hlavacek","year":"2006","unstructured":"Hlavacek, W.S., Faeder, J.R., Blinov, M.L., Posner, R.G., Hucka, M., Fontana, W.: Rules for Modeling Signal-Transduction Systems. Science\u2019s STKE\u00a02006(344) (2006)","journal-title":"Science\u2019s STKE"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"M.L. Blinov","year":"2005","unstructured":"Blinov, M.L., Yang, J., Faeder, J.R., Hlavacek, W.S.: Graph theory for rule-based modeling of biochemical networks. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653. Springer, Heidelberg (2005)"},{"issue":"1","key":"8_CR11","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":"8_CR12","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":"8_CR13","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":"8_CR14","doi-asserted-by":"crossref","unstructured":"Regev, A., Shapiro, E.: Cells as computation. Nature\u00a0419 (September 2002)","DOI":"10.1038\/419343a"},{"key":"8_CR15","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":"8_CR16","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)"},{"issue":"1","key":"8_CR17","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. Theoretical Computer Science\u00a0325(1), 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"8_CR18","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of BIO-CONCUR 2003","author":"L. Cardelli","year":"2003","unstructured":"Cardelli, L.: Brane calculi. In: Proceedings of BIO-CONCUR 2003. Electronic Notes in Theoretical Computer Science, vol.\u00a0180. Elsevier, Amsterdam (2003)"},{"key":"8_CR19","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., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"8_CR20","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."},{"issue":"3","key":"8_CR21","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1051\/ita:2005028","volume":"39","author":"S. Lack","year":"2005","unstructured":"Lack, S., Sobocinski, P.: Adhesive and quasiadhesive categories. Theoretical Informatics and Applications\u00a039(3), 511\u2013546 (2005)","journal-title":"Theoretical Informatics and Applications"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68413-8_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:51:16Z","timestamp":1620017476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68413-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540684107","9783540684138"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68413-8_8","relation":{},"subject":[]}}