{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:58:19Z","timestamp":1725512299900},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540720300"},{"type":"electronic","value":"9783540720317"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72031-7_58","type":"book-chapter","created":{"date-parts":[[2007,8,5]],"date-time":"2007-08-05T10:16:24Z","timestamp":1186308984000},"page":"638-649","source":"Crossref","is-referenced-by-count":4,"title":["Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Barbuti","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Maggiolo\u2013Schettini","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"58_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45351-2_6","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., et al.: Hybrid Modeling and Simulation of Biomolecular Networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 19\u201332. Springer, Heidelberg (2001)"},{"issue":"1-3","key":"58_CR2","first-page":"21","volume":"72","author":"R. Barbuti","year":"2006","unstructured":"Barbuti, R., et al.: A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundamenta Informaticae\u00a072(1-3), 21\u201335 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"58_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/11921240_7","volume-title":"Theoretical Aspects of Computing - ICTAC 2006","author":"R. Barbuti","year":"2006","unstructured":"Barbuti, R., et al.: Bisimulation Congruences in the Calculus of Looping Sequences. In: Barkaoui, K., Cavalcanti, A., Cerone, A. (eds.) ICTAC 2006. LNCS, vol.\u00a04281, pp. 93\u2013107. Springer, Heidelberg (2006)"},{"key":"58_CR4","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","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\u2013280. Springer, Heidelberg (2005)"},{"issue":"1","key":"58_CR5","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":"58_CR6","unstructured":"Laneve, C., Tarissan, F.: A Simple Calculus for Proteins and Cells. In: Proc. of MeCBIC\u201906, ENTCS, to appear."},{"key":"58_CR7","unstructured":"Milazzo, P.: Qualitative and Quantitative Formal Modeling of Biological Systems. PhD Thesis, University of Pisa (2007)"},{"key":"58_CR8","first-page":"341","volume-title":"Proc. of PSB\u201900","author":"H. Matsuno","year":"2000","unstructured":"Matsuno, H., et al.: Hybrid Petri Net Representation of Gene Regulatory Network. In: Proc. of PSB\u201900, pp. 341\u2013352. World Scientific Press, Singapore (2000)"},{"key":"58_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing. An Introduction","author":"G. P\u0103un","year":"2002","unstructured":"P\u0103un, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)"},{"issue":"1","key":"58_CR10","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":"58_CR11","first-page":"459","volume-title":"Proc. of PSB\u201901","author":"A. Regev","year":"2001","unstructured":"Regev, A., Silverman, W., Shapiro, E.Y.: Representation and Simulation of Biochemical Processes Using the Pi-Calculus Process Algebra. In: Proc. of PSB\u201901, pp. 459\u2013470. World Scientific Press, Singapore (2001)"}],"container-title":["Lecture Notes in Computer Science","Bioinformatics Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72031-7_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:28:16Z","timestamp":1605745696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72031-7_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540720300","9783540720317"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72031-7_58","relation":{},"subject":[]}}