{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:35:44Z","timestamp":1768343744988,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540744061","type":"print"},{"value":"9783540744078","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74407-8_3","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T14:30:48Z","timestamp":1187447448000},"page":"17-41","source":"Crossref","is-referenced-by-count":150,"title":["Rule-Based Modelling of Cellular Signalling"],"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":[{"key":"3_CR1","unstructured":"Curien, P.L., Danos, V., Krivine, J., Zhang, M.: Computational self-assembly (submitted) (February 2007)"},{"issue":"1","key":"3_CR2","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(1), 69\u2013110 (2004)","journal-title":"Theoretical Computer Science"},{"key":"3_CR3","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":"3_CR4","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":"3_CR5","doi-asserted-by":"crossref","unstructured":"Blinov, M., Yang, J., Faeder, J., Hlavacek, W.: Graph theory for rule-based modeling of biochemical networks. In: Proc. BioCONCUR 2005 (2006)","DOI":"10.1007\/11905455_5"},{"key":"3_CR6","first-page":"133","volume-title":"Proc. ACM Symp. Appl. Computing","author":"J. Faeder","year":"2005","unstructured":"Faeder, J., Blinov, M., Hlavacek, W.: Graphical rule-based representation of signal-transduction networks. In: Proc. ACM Symp. Appl. Computing, pp. 133\u2013140. ACM Press, New York (2005)"},{"issue":"1","key":"3_CR7","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"},{"issue":"2","key":"3_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/nbt0206-137","volume":"24","author":"M.L. Blinov","year":"2006","unstructured":"Blinov, M.L., Yang, J., Faeder, J.R., Hlavacek, W.S.: Depicting signaling cascades. Nat. Biotechnol.\u00a024(2), 1\u20132 (2006)","journal-title":"Nat. Biotechnol."},{"key":"3_CR9","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":"3_CR10","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.\u00a0344 (2006)","DOI":"10.1126\/stke.3442006re6"},{"issue":"3","key":"3_CR11","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0014-5793(00)02037-8","volume":"482","author":"F. Brightman","year":"2000","unstructured":"Brightman, F., Fell, D.: Differential feedback regulation of the MAPK cascade underlies the quantitative differences in EGF and NGF signalling in PC12 cells. FEBS Lett.\u00a0482(3), 169\u2013174 (2000)","journal-title":"FEBS Lett."},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1038\/nbt0402-370","volume":"20","author":"B. Schoeberl","year":"2002","unstructured":"Schoeberl, B., Eichler-Jonsson, C., Gilles, E.D., M\u00fcller, G.: Computational modeling of the dynamics of the map kinase cascade activated by surface and internalized EGF receptors. Nature Biotechnology\u00a020, 370\u2013375 (2002)","journal-title":"Nature Biotechnology"},{"issue":"2","key":"3_CR13","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"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Huang, C., Ferrell, J.: Ultrasensitivity in the mitogen-activated protein kinase cascade (1996)","DOI":"10.1073\/pnas.93.19.10078"},{"issue":"42","key":"3_CR15","doi-asserted-by":"publisher","first-page":"30169","DOI":"10.1074\/jbc.274.42.30169","volume":"274","author":"B. Kholodenko","year":"1999","unstructured":"Kholodenko, B., Demin, O., Moehren, G., Hoek, J.: Quantification of Short Term Signaling by the Epidermal Growth Factor Receptor. Journal of Biological Chemistry\u00a0274(42), 30169\u201330181 (1999)","journal-title":"Journal of Biological Chemistry"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Kholodenko, B.: Negative feedback and ultrasensitivity can bring about oscillations in the mitogen-activated protein kinase cascades (2000)","DOI":"10.1046\/j.1432-1327.2000.01197.x"},{"issue":"5618","key":"3_CR17","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(5618), 445\u2013452 (2003)","journal-title":"Science"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"3289","DOI":"10.1093\/bioinformatics\/bth378","volume":"20","author":"M. Blinov","year":"2004","unstructured":"Blinov, M., Faeder, J., Hlavacek, W.: BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinformatics\u00a020, 3289\u20133292 (2004)","journal-title":"Bioinformatics"},{"key":"3_CR19","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 (January 2002)","DOI":"10.1142\/9789812799623_0038"},{"key":"3_CR20","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":"3_CR21","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":"3_CR22","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":"3_CR23","doi-asserted-by":"crossref","unstructured":"Regev, A., Shapiro, E.: Cells as computation. Nature\u00a0419 (September 2002)","DOI":"10.1038\/419343a"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartments. Theoretical Computer Science (2003) (to appear)","DOI":"10.1016\/j.tcs.2004.03.061"},{"key":"3_CR25","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of BIO-CONCUR\u201903","author":"L. Cardelli","year":"2003","unstructured":"Cardelli, L.: Brane calculi. In: Proceedings of BIO-CONCUR\u201903, Marseille, France. Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam (2003) (to appear)"},{"key":"3_CR26","first-page":"20","volume":"3082","author":"C. Priami","year":"2004","unstructured":"Priami, C., Quaglia, P.: Beta binders for biological interactions. Proceedings of CMSB\u00a03082, 20\u201333 (2004)","journal-title":"Proceedings of CMSB"},{"key":"3_CR27","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of BIO-CONCUR 2003","author":"V. Danos","year":"2003","unstructured":"Danos, V., Krivine, J.: Formal molecular biology done in CCS (to appear). In: Proceedings of BIO-CONCUR 2003, Marseille, France. Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam (2003)"},{"key":"3_CR28","first-page":"1","volume-title":"Handbook of Logic and the Foundations of Computer Science","author":"M. Nielsen","year":"1995","unstructured":"Nielsen, M., Winskel, G.: Models For Concurrency. In: Handbook of Logic and the Foundations of Computer Science, vol.\u00a04, pp. 1\u2013148. Oxford University Press, Oxford (1995)"},{"key":"3_CR29","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":"3_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/3-540-49019-1_6","volume-title":"Foundations of Software Science and Computation Structures","author":"P. Baldan","year":"1999","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Unfolding and event structure semantics for graph grammars. In: Thomas, W. (ed.) ETAPS 1999 and FOSSACS 1999. LNCS, vol.\u00a01578, pp. 367\u2013386. Springer, Heidelberg (1999)"},{"key":"3_CR31","unstructured":"Baldi, C., Degano, P., Priami, C.: Causal pi-calculus for biochemical modeling. In: Proceedings of the AI*IA Workshop on BioInformatics 2002, pp. 69\u201372 (2002)"},{"issue":"1","key":"3_CR32","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.: Modelling biochemical pathways through enhanced\u2013calculus. Theoretical Computer Science\u00a0325(1), 111\u2013140 (2004)","journal-title":"Theoretical Computer Science"},{"issue":"11","key":"3_CR33","doi-asserted-by":"publisher","first-page":"6840","DOI":"10.1073\/pnas.78.11.6840","volume":"78","author":"A. Goldbeter","year":"1981","unstructured":"Goldbeter, A., Koshland, D.: An Amplified Sensitivity Arising from Covalent Modification in Biological Systems. Proceedings of the National Academy of Sciences\u00a078(11), 6840\u20136844 (1981)","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"3_CR34","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":"3_CR35","doi-asserted-by":"crossref","unstructured":"Oda, K., Matsuoka, Y., Funahashi, A., Kitano, H.: A comprehensive pathway map of epidermal growth factor receptor signaling. Molecular Systems Biology\u00a01 (May 2005)","DOI":"10.1038\/msb4100014"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Weinberg, R.A.: The Biology of Cancer. Garland Science (June 2006)","DOI":"10.1201\/9780203852569"},{"issue":"5","key":"3_CR37","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1038\/nrc1609","volume":"5","author":"N. Hynes","year":"2005","unstructured":"Hynes, N., Lane, H.: ERBB receptors and cancer: the complexity of targeted inhibitors. Nature Reviews Cancer\u00a05(5), 341\u2013354 (2005)","journal-title":"Nature Reviews Cancer"},{"key":"3_CR38","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":"3_CR39","series-title":"Lecture Notes in Computer Science","volume-title":"REX Workshop 1988","author":"G. Winskel","year":"1989","unstructured":"Winskel, G.: An introduction to event structures. In: REX Workshop 1988. LNCS, Springer, Heidelberg (1989)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2007 \u2013 Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74407-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T13:10:30Z","timestamp":1737378630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74407-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540744061","9783540744078"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74407-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}