{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T22:29:16Z","timestamp":1757456956099},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540781622"},{"type":"electronic","value":"9783540781639"}],"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-78163-9_11","type":"book-chapter","created":{"date-parts":[[2008,2,29]],"date-time":"2008-02-29T05:30:06Z","timestamp":1204263006000},"page":"83-97","source":"Crossref","is-referenced-by-count":39,"title":["Abstract Interpretation of Cellular Signalling 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":"11_CR1","doi-asserted-by":"crossref","unstructured":"Priami, C., et al.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. In: Information Processing Letters (2001)","DOI":"10.1016\/S0020-0190(01)00214-9"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Regev, A., Shapiro, E.: Cells as computation. Nature 419 (September 2002)","DOI":"10.1038\/419343a"},{"issue":"1","key":"11_CR3","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., et al.: BioAmbients: An abstraction for biological compartments. Theoretical Computer Science\u00a0325(1), 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"11_CR4","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., et al.: Rule-Based Modelling of Cellular Signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 17\u201341. Springer, Heidelberg (2007)"},{"key":"11_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., et al.: Scalable modelling of biological pathways. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol.\u00a04807, pp. 139\u2013157. Springer, Heidelberg (2007)"},{"issue":"1","key":"11_CR6","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":"11_CR7","series-title":"Lecture Notes in Computer Science","first-page":"302","volume-title":"Programming Languages and Systems","author":"C. Laneve","year":"2003","unstructured":"Laneve, C., Danos, V.: Core Formal Molecular Biology. In: Degano, P. (ed.) ESOP 2003 and ETAPS 2003. LNCS, vol.\u00a02618, pp. 302\u2013318. Springer, Heidelberg (2003)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Danos, V.: Agile modelling of cellular signalling. In: Proceedings of ICCMSE 2007 (2007)","DOI":"10.1063\/1.2836156"},{"key":"11_CR9","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/11905455_5","volume-title":"Transactions on Computational Systems Biology VII","author":"M. Blinov","year":"2006","unstructured":"Blinov, M., et al.: Graph Theory for Rule-Based Modeling of Biochemical Networks. In: Priami, C., et al. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 89\u2013106. Springer, Heidelberg (2006)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Hlavacek, W., et al.: Rules for Modeling Signal-Transduction Systems. Science\u2019s STKE\u00a0344 (2006)","DOI":"10.1126\/stke.3442006re6"},{"key":"11_CR11","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":"11_CR12","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, Marseille, France. Electronic Notes in Theoretical Computer Science, vol.\u00a0180, Elsevier, Amsterdam (2003)"},{"key":"11_CR13","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":"11_CR14","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":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/3-540-45927-8_22","volume-title":"Programming Languages and Systems","author":"J. Feret","year":"2002","unstructured":"Feret, J.: Dependency Analysis of Mobile Systems. In: Le M\u00e9tayer, D. (ed.) ESOP 2002 and ETAPS 2002. LNCS, vol.\u00a02305, pp. 314\u2013329. Springer, Heidelberg (2002)"},{"issue":"2\u20133","key":"11_CR16","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation and application to logic programs. Journal of Logic Programming\u00a013(2\u20133), 103\u2013179 (1992)","journal-title":"Journal of Logic Programming"},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"985","DOI":"10.1002\/j.1538-7305.1959.tb01585.x","volume":"38","author":"C.Y. Lee","year":"1959","unstructured":"Lee, C.Y.: Representation of switching circuits by binary-decision programs. Bell Systems Technical Journal\u00a038, 985\u2013999 (1959)","journal-title":"Bell Systems Technical Journal"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/781131.781153","volume-title":"Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003)","author":"B. Blanchet","year":"2003","unstructured":"Blanchet, B., et al.: A static analyzer for large safety-critical software. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003), San Diego, California, USA, June 7\u201314, 2003, pp. 196\u2013207. ACM Press, New York (2003)"},{"key":"11_CR19","volume-title":"International Series on Computer Science","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. In: International Series on Computer Science, Prentice-Hall, Englewood Cliffs (1989)"},{"key":"11_CR20","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., et al.: 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":"11_CR21","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., et al.: Simulation and verification for computational modelling of signalling pathways. In: Proceedings of the 37th conference on Winter simulation, pp. 1666\u20131674 (2006)","DOI":"10.1109\/WSC.2006.322941"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78163-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:18:16Z","timestamp":1558264696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78163-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540781622","9783540781639"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78163-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}