{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:57:24Z","timestamp":1725490644228},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751397"},{"type":"electronic","value":"9783540751403"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75140-3_10","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T05:03:10Z","timestamp":1188536590000},"page":"136-151","source":"Crossref","is-referenced-by-count":9,"title":["An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra"],"prefix":"10.1007","author":[{"given":"Maria Luisa","family":"Guerriero","sequence":"first","affiliation":[]},{"given":"John K.","family":"Heath","sequence":"additional","affiliation":[]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters\u00a080(1), 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"key":"10_CR3","unstructured":"Phillips, A., Cardelli, L.: A Correct Abstract Machine for the Stochastic Pi-calculus. In: BioConcur 2004, Workshop on Concurrent Models in Molecular Biology (2004)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11567752","volume":"1","author":"C. Priami","year":"2005","unstructured":"Priami, C., Quaglia, P.: Operational patterns in Beta-binders. Transactions on Computational Systems Biology\u00a01, 50\u201365 (2005)","journal-title":"Transactions on Computational Systems Biology"},{"key":"10_CR5","first-page":"1","volume":"7","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. T. Comp. Sys. Biology\u00a07, 1\u201323 (2006)","journal-title":"T. Comp. Sys. Biology"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O., Heath, J., Gaffney, E.: Simulation and verification for computational modelling of signalling pathways. In: Proc. Winter Simulation Conference, Omnipress, pp. 1666\u20131675 (2006)","DOI":"10.1109\/WSC.2006.322941"},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1038\/nrm1838","volume":"7","author":"B. Kholodenko","year":"2006","unstructured":"Kholodenko, B.: Cell signalling dynamics in time and space. Nature Reviews Molecular Cell Biology\u00a07(3), 165\u2013176 (2006)","journal-title":"Nature Reviews Molecular Cell Biology"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"2703","DOI":"10.1091\/mbc.10.8.2703","volume":"10","author":"K. Kohn","year":"1999","unstructured":"Kohn, K.: Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems. Molecular Biology of the Cell\u00a010, 2703\u20132734 (1999)","journal-title":"Molecular Biology of the Cell"},{"issue":"5","key":"10_CR9","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S1478-5382(03)02380-1","volume":"1","author":"H. Kitano","year":"2003","unstructured":"Kitano, H.: A graphical notation for biochemical networks. Biosilico\u00a01(5), 169\u2013176 (2003)","journal-title":"Biosilico"},{"key":"10_CR10","unstructured":"Romanel, A., Dematt\u00e9, L., Priami, C.: The Beta Workbench. Technical Report TR-03-2007. Technical report, The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2007)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M., Finney, A., Sauro, H., Bolouri, H., Doyle, J., Kitano, H.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics\u00a019, 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"issue":"22","key":"10_CR12","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":"10_CR13","unstructured":"Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular biology of the cell. Garland Science (2002)"},{"key":"10_CR14","unstructured":"Cardelli, L.: On Process Rate Semantics (2007), available at \n                  \n                    http:\/\/lucacardelli.name\/Papers\/On%20Process%20Rate%20Semantics.pdf"},{"key":"10_CR15","unstructured":"Ciocchetta, F., Priami, C.: Beta-binders with Biological Transactions. Technical Report TR-10-2006. Technical report, The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2006)"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75140-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:52:26Z","timestamp":1619520746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75140-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751397","9783540751403"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75140-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}