{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:19:31Z","timestamp":1725538771365},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041853"},{"type":"electronic","value":"9783642041860"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04186-0_5","type":"book-chapter","created":{"date-parts":[[2009,10,1]],"date-time":"2009-10-01T12:07:04Z","timestamp":1254398824000},"page":"90-115","source":"Crossref","is-referenced-by-count":9,"title":["Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130\/JAK\/STAT Signalling Pathway"],"prefix":"10.1007","author":[{"given":"Maria Luisa","family":"Guerriero","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the \u03c0-calculus process algebra. In: Proceedings of Pacific Symposium on Biocomputing (PSB 2001), vol.\u00a06, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"issue":"1","key":"5_CR2","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.Y.: BioAmbients: an Abstraction for Biological Compartments. Theoretical Computer Science\u00a0325(1), 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"5_CR3","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","volume-title":"Computational Methods in Systems Biology","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Brane Calculi - Interactions of Biological Membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"key":"5_CR4","series-title":"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.\u00a03380, pp. 50\u201365. Springer, Heidelberg (2005)"},{"issue":"1","key":"5_CR5","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"Vincent Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. TCS\u00a0325(1) (2004)","journal-title":"Theoretical Computer Science"},{"issue":"6905","key":"5_CR6","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A. Regev","year":"2002","unstructured":"Regev, A., Shapiro, E.: Cells as Computation. Nature\u00a0419(6905), 343 (2002)","journal-title":"Nature"},{"issue":"3","key":"5_CR7","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.entcs.2007.12.008","volume":"194","author":"Federica Ciocchetta","year":"2008","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. In: Proc. of FBTC 2007. ENTCS, vol.\u00a0194, pp. 103\u2013117 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"33-34","key":"5_CR8","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. Theoretical Computer Science\u00a0410(33-34), 3065\u20133084 (2009)","journal-title":"Theoretical Computer Science"},{"key":"5_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling.","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-68894-5_8","volume-title":"Formal Methods for Computational Systems Biology (SFM 2008)","author":"F. Ciocchetta","year":"2008","unstructured":"Ciocchetta, F., Hillston, J.: Calculi for Biological Systems. In: Formal Methods for Computational Systems Biology (SFM 2008). LNCS, vol.\u00a05016, pp. 265\u2013312. Springer, Heidelberg (2008)"},{"key":"5_CR11","unstructured":"Bio-PEPA Workbench Home Page: http:\/\/www.dcs.ed.ac.uk\/home\/stg\/software\/biopepa\/"},{"issue":"2","key":"5_CR12","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1142\/S0219720005001132","volume":"3","author":"S. Ramsey","year":"2005","unstructured":"Ramsey, S., Orrell, D., Bolouri, H.: Dizzy: stochastic simulation of large-scale genetic regulatory networks. J. Bioinf. Comp. Biol.\u00a03(2), 415\u2013436 (2005)","journal-title":"J. Bioinf. Comp. Biol."},{"key":"5_CR13","unstructured":"PRISM Home Page: http:\/\/www.prismmodelchecker.org"},{"issue":"1","key":"5_CR14","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous-time Markov chains. ACM Trans. Comput. Logic\u00a01(1), 162\u2013170 (2000)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"22","key":"5_CR15","doi-asserted-by":"publisher","first-page":"10891","DOI":"10.1158\/0008-5472.CAN-06-1766","volume":"66","author":"N. Underhill-Day","year":"2006","unstructured":"Underhill-Day, N., Heath, J.: Oncostatin M (OSM) Cytostasis of Breast Tumor Cells: Characterization of an OSM Receptor \u03b2-Specific Kernel. Cancer Research\u00a066(22), 10891\u201310901 (2006)","journal-title":"Cancer Research"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1042\/bj20030407","volume":"374","author":"P. Heinrich","year":"2003","unstructured":"Heinrich, P., Behrmann, I., Haan, S., Hermanns, H., M\u00fcller-Newen, G., Schaper, F.: Principles od interleukin (IL)-6-type cytokine signalling and its regulation. Biochem. J.\u00a0374, 1\u201320 (2003)","journal-title":"Biochem. J."},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0378-1119(02)00398-0","volume":"285","author":"T. Kisseleva","year":"2002","unstructured":"Kisseleva, T., Bhattacharya, S., Braunstein, J., Schindler, C.: Signaling through the JAK\/STAT pathway, recent advances and future challenges. Gene\u00a0285, 1\u201324 (2002)","journal-title":"Gene"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"1028","DOI":"10.1073\/pnas.0237333100","volume":"100","author":"I. Swameye","year":"2003","unstructured":"Swameye, I., M\u00fcller, T., Timmer, J., Sandra, O., Klingm\u00fcller, U.: Identification of nucleocytoplasmic cycling as a remote sensor in cellular signaling by databased modeling. PNAS\u00a0100, 1028\u20131033 (2003)","journal-title":"PNAS"},{"issue":"7","key":"5_CR19","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1371\/journal.pcbi.0030130","volume":"3","author":"A. Mahdavi","year":"2007","unstructured":"Mahdavi, A., Davey, R.E., Bhola, P., Yin, T., Zandstra, P.W.: Sensitivity Analysis of Intracellular Signaling Pathway Kinetics Predicts Targets for Stem Cell Fate Control. PLoS Computational Biology\u00a03(7), 1257\u20131267 (2007)","journal-title":"PLoS Computational Biology"},{"issue":"5","key":"5_CR20","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1002\/bit.21026","volume":"95","author":"A. Singh","year":"2006","unstructured":"Singh, A., Jayaraman, A., Hahn, J.: Modeling Regulatory Mechanisms in IL-6 Transduction in Hepatocytes. Biotechnology and Bioengineering\u00a095(5), 850\u2013862 (2006)","journal-title":"Biotechnology and Bioengineering"},{"issue":"1","key":"5_CR21","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1186\/1752-0509-3-40","volume":"3","author":"M.L. Guerriero","year":"2009","unstructured":"Guerriero, M.L., Dudka, A., Underhill-Day, N., Heath, J.K., Priami, C.: Narrative-based computational modelling of the Gp130\/JAK\/STAT signalling pathway. BMC Systems Biology\u00a03(1), 40 (2009)","journal-title":"BMC Systems Biology"},{"key":"5_CR22","unstructured":"Bio-PEPA Home Page: http:\/\/www.biopepa.org\/"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"5_CR24","unstructured":"Dizzy Home Page: http:\/\/magnet.systemsbiology.net\/software\/Dizzy"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1996","unstructured":"Aziz, A., Kanwal, K., Singhal, V., Brayton, V.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 269\u2013276. Springer, Heidelberg (1996)"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-48320-9_12","volume-title":"CONCUR\u201999. Concurrency Theory","author":"C. Baier","year":"1999","unstructured":"Baier, C., Katoen, J.P., Hermanns, H.: Approximate Symbolic Model Checking of Continuous-Time Markov Chains. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 146\u2013161. Springer, Heidelberg (1999)"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1016\/j.compchemeng.2004.08.035","volume":"29","author":"J. Saez-Rodriguez","year":"2005","unstructured":"Saez-Rodriguez, J., Kremling, A., Gilles, E.: Dissecting the puzzle of life: modularization of signal transduction networks. Computers and Chemical Engineering\u00a029, 619\u2013629 (2005)","journal-title":"Computers and Chemical Engineering"},{"issue":"1","key":"5_CR28","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1049\/sb:20045011","volume":"1","author":"H. Conzelmann","year":"2004","unstructured":"Conzelmann, H., Saez-Rodriguez, J., Sauter, T., Bullinger, E., Allg\u00f6wer, F., Gilles, E.: Reduction of mathematical models of signal transduction networks: simulation-based approach applied to EGF receptor signalling. Systems Biology\u00a01(1), 159\u2013169 (2004)","journal-title":"Systems Biology"},{"key":"5_CR29","first-page":"227","volume":"24","author":"P. Monteiro","year":"2008","unstructured":"Monteiro, P., Ropers, D., Mateescu, R., Freitas, A., de Jong, H.: Temporal logic patterns for querying dynamic models of cellular interaction networks. ECCB\u00a024, 227\u2013233 (2008)","journal-title":"ECCB"},{"key":"5_CR30","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. The Journal of Chemical Physics\u00a0104, 1876\u20131889 (2000)","journal-title":"The Journal of Chemical Physics"},{"issue":"5","key":"5_CR31","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 in Bioinformatics\u00a09(5), 437\u2013449 (2008), http:\/\/www.cosbi.eu\/Rpty_Soft_BetaWB.php","journal-title":"Briefings in Bioinformatics"},{"key":"5_CR32","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: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 313\u2013365. Springer, Heidelberg (2008)"},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"319","author":"J. Heath","year":"2008","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic Model Checking of Complex Biological Pathways. Theoretical Computer Science\u00a0319, 239\u2013257 (2008)","journal-title":"Theoretical Computer Science"},{"key":"5_CR34","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":"5_CR35","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/11880646_3","volume-title":"Transactions on Computational Systems Biology VI","author":"M. Calder","year":"2006","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of signalling pathways using continuous time Markov chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 44\u201367. Springer, Heidelberg (2006)"},{"key":"5_CR36","unstructured":"The Idd-CSL Home Page: http:\/\/www-dssz.informatik.tu-cottbus.de\/software\/software.html"},{"key":"5_CR37","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: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 215\u2013264. Springer, Heidelberg (2008)"},{"key":"5_CR38","unstructured":"The BIOCHAM Home Page: http:\/\/contraintes.inria.fr\/BIOCHAM\/"},{"issue":"2","key":"5_CR39","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry\u00a04(2), 64\u201373 (2004)","journal-title":"Journal of Biological Physics and Chemistry"},{"key":"5_CR40","unstructured":"NuSMV Home Page: http:\/\/nusmv.irst.itc.it\/"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04186-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:08:10Z","timestamp":1558555690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04186-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041853","9783642041860"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04186-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}