{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:47:02Z","timestamp":1742388422870},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308836"},{"type":"electronic","value":"9783540314462"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11599128_3","type":"book-chapter","created":{"date-parts":[[2005,12,5]],"date-time":"2005-12-05T13:15:24Z","timestamp":1133788524000},"page":"33-48","source":"Crossref","is-referenced-by-count":6,"title":["Modeling Kohn Interaction Maps with Beta-Binders: An Example"],"prefix":"10.1007","author":[{"given":"Federica","family":"Ciocchetta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Quaglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular biology of the cell. Garland science (2002)"},{"key":"3_CR2","unstructured":"Cardelli, L.: Membrane interactions. In: BioConcur 2003, Workshop on Concurrent Models in Molecular Biology (2003)"},{"key":"3_CR3","unstructured":"Danos, V., Krivine, J.: Formal molecular biology done in CCS-R. In: BioConcur 2003, Workshop on Concurrent Models in Molecular Biology (2003)"},{"key":"3_CR4","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. LNCS, vol.\u00a02618, pp. 302\u2013318. Springer, Heidelberg (2003)"},{"key":"3_CR5","unstructured":"Guerriero, M.L.: Modelli formali per la rappresentazione di sistemi biologici dinamici. Laurea Thesis, University of Trento, Dep. Informatics and Telecommunications (2004) (Italian)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Kohn, K.W.: Molecular interaction map of the mammalian cell cycle contro and DNA repair systems. Molecular Biology of the Cell\u00a0(10), 2703\u20132734 (1999)","DOI":"10.1091\/mbc.10.8.2703"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1038\/35042675","volume":"408","author":"D. Lane","year":"2000","unstructured":"Lane, D.: Surfing the p53 network. Nature\u00a0408, 307\u2013310 (2000)","journal-title":"Nature"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1038\/358015a0","volume":"358","author":"D. Lane","year":"1992","unstructured":"Lane, D., Vogelstein, B., Levine, A.J.: P53, the guardian of the genome. Nature\u00a0358, 15\u201316 (1992)","journal-title":"Nature"},{"key":"3_CR9","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_CR10","unstructured":"Nagasaki, M., Onami, S., Miyano, S., Kitano, H.: Bio-calculus: Its concept and molecular interaction. In: Asai, K., Miyano, S., Takagi, T. (eds.) Genome Informatics 1999, vol.\u00a010, pp. 133\u2013143. Universal Academy Press, Tokyo (1999)"},{"key":"3_CR11","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","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":"3_CR12","doi-asserted-by":"crossref","unstructured":"Priami, C., Quaglia, P.: Operational patterns in Beta-binders. Transactions on Computational Systems Biology (2004) (to appear)","DOI":"10.1007\/978-3-540-32126-2_5"},{"issue":"1","key":"3_CR13","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":"3_CR14","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 (2004) (to appear)","DOI":"10.1016\/j.tcs.2004.03.061"},{"key":"3_CR15","first-page":"459","volume-title":"Proc. of the Pacific Symposium on Biocomputing (PSB 2001)","author":"A. Regev","year":"2001","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proc. of the Pacific Symposium on Biocomputing (PSB 2001), vol.\u00a06, pp. 459\u2013470. World Scientific Press, Singapore (2001)"},{"key":"3_CR16","volume-title":"The \u03c0-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11599128_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:37:24Z","timestamp":1558287444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11599128_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308836","9783540314462"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11599128_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}