{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:24Z","timestamp":1762458804294},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253754"},{"type":"electronic","value":"9783540259749"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/978-3-540-25974-9_3","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T19:23:04Z","timestamp":1267125784000},"page":"20-33","source":"Crossref","is-referenced-by-count":86,"title":["Beta Binders for Biological Interactions"],"prefix":"10.1007","author":[{"given":"Corrado","family":"Priami","sequence":"first","affiliation":[]},{"given":"Paola","family":"Quaglia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular biology of the cell. IVth ed., Garland science (2002)","key":"3_CR1"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science\u00a096(1), 217\u2013248 (1992)","journal-title":"Theoretical Computer Science"},{"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"},{"key":"3_CR5","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_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/3-540-36481-1_4","volume-title":"Computational Methods in Systems Biology","author":"V. Danos","year":"2003","unstructured":"Danos, V., Laneve, C.: Graphs for core molecular biology. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 34\u201346. Springer, Heidelberg (2003)"},{"key":"3_CR7","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","year":"1989","unstructured":"Milner, R. (ed.): Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"3_CR8","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 Universtity Press, Cambridge (1999)"},{"key":"3_CR9","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 passing-name calculus to representation and simulation of molecular processes. Information Processing Letters\u00a080, 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"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 (to appear, 2003)","key":"3_CR10","DOI":"10.1016\/j.tcs.2004.03.061"},{"doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proceedings of the Pacific Symposium of Biocomputing 2001, vol.\u00a06, pp. 459\u2013470 (2001)","key":"3_CR11","DOI":"10.1142\/9789814447362_0045"},{"key":"3_CR12","volume-title":"The \u03c0-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge Universtity Press, Cambridge (2001)"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25974-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T11:48:20Z","timestamp":1558871300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25974-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253754","9783540259749"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25974-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}