{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:49:30Z","timestamp":1725472170645},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540488156"},{"type":"electronic","value":"9783540488163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11921240_7","type":"book-chapter","created":{"date-parts":[[2006,11,2]],"date-time":"2006-11-02T08:28:19Z","timestamp":1162456099000},"page":"93-107","source":"Crossref","is-referenced-by-count":10,"title":["Bisimulation Congruences in the Calculus of Looping Sequences"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Barbuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Maggiolo-Schettini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Troina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_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., Belta, C., Ivan\u010di\u0107, F., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schug, J.: 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)"},{"key":"7_CR2","first-page":"13","volume":"67","author":"R. Barbuti","year":"2005","unstructured":"Barbuti, R., Cataudella, S., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A Probabilistic Model for Molecular Systems. Fundamenta Informaticae\u00a067, 13\u201327 (2005)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR3","first-page":"1","volume":"72","author":"R. Barbuti","year":"2006","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundamenta Informaticae\u00a072, 1\u201315 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR4","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)"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Schachter, V.: Modeling and Querying Biomolecular Interaction Networks. Theoretical Computer Science\u00a0325(1), 25\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.tcs.2004.03.066","volume":"325","author":"M. Curti","year":"2004","unstructured":"Curti, M., Degano, P., Priami, C., Baldari, C.T.: Modelling Biochemical Pathways through Enhanced pi-calculus. Theoretical Computer Science\u00a0325(1), 111\u2013140 (2004)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"7_CR7","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":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-44618-4_19","volume-title":"CONCUR 2000 - Concurrency Theory","author":"J.J. Leifer","year":"2000","unstructured":"Leifer, J.J., Milner, R.: Deriving Bisimulation Congruences for Reactive Systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 243\u2013258. Springer, Heidelberg (2000)"},{"key":"7_CR9","first-page":"341","volume-title":"Pacific Symposium on Biocomputing","author":"H. Matsuno","year":"2000","unstructured":"Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid Petri Net Representation of Gene Regulatory Network. In: Pacific Symposium on Biocomputing, pp. 341\u2013352. World Scientific Press, Singapore (2000)"},{"key":"7_CR10","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)"},{"issue":"1","key":"7_CR11","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.: BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science\u00a0325(1), 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"7_CR12","first-page":"459","volume-title":"Pacific Symposium on Biocomputing","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: Pacific Symposium on Biocomputing, pp. 459\u2013470. World Scientific Press, Singapore (2001)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0304-3975(00)00309-1","volume":"274","author":"P. Sewell","year":"2002","unstructured":"Sewell, P.: From Rewrite Rules to Bisimulation Congruences. Theoretical Computer Science\u00a0274, 183\u2013230 (2002)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11921240_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:44:21Z","timestamp":1619495061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11921240_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540488156","9783540488163"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11921240_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}