{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:05:30Z","timestamp":1737435930310,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540734321"},{"type":"electronic","value":"9783540734338"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73433-8_19","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T14:36:40Z","timestamp":1186843000000},"page":"262-276","source":"Crossref","is-referenced-by-count":2,"title":["Deducing Interactions in Partially Unspecified Biological Systems"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Bracciali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linda","family":"Brodo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Bruni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Alberts, B., Bray, D., Lewis, J., Raff, M., Roberts, K., Watson, J.D.: Molecular Biology of the Cell. Garland (1994)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/3-540-45719-4_18","volume-title":"Algebraic Methodology and Software Technology","author":"P. Baldan","year":"2002","unstructured":"Baldan, P., Bracciali, A., Bruni, R.: Bisimulation by unification. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 254\u2013270. Springer, Heidelberg (2002)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Global Computing","author":"P. Baldan","year":"2005","unstructured":"Baldan, P., Bracciali, A., Bruni, R.: Symbolic equivalences for open systems. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol.\u00a03267, pp. 1\u201317. Springer, Heidelberg (2005)"},{"key":"19_CR4","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11905455_1","volume-title":"Transactions on Computational Systems Biology VII","author":"M. Calder","year":"2006","unstructured":"Calder, M., Hilston, J., Gilmore, S.: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Nielson, H.R. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"19_CR5","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/11880646_3","volume-title":"Transactions on Computational Systems Biology VI","author":"M. Calder","year":"2006","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of signalling pathways using the PRISM model checker. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 179\u2013190. Springer, Heidelberg (2006)"},{"key":"19_CR6","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11880646_4","volume-title":"Transactions on Computational Systems Biology VI","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 68\u201394. Springer, Heidelberg (2006)"},{"key":"19_CR7","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":"19_CR8","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.: Mobile ambients. Th. Comp. Sci.\u00a0240(1), 177\u2013213 (2000)","journal-title":"Th. Comp. Sci."},{"key":"19_CR9","first-page":"365","volume-title":"Proc. POPL 2000","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.: Anytime, anywhere. Modal logics for mobile ambients. In: Proc. POPL 2000, pp. 365\u2013377. ACM, New York (2000)"},{"key":"19_CR10","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-540-25974-9_16","volume-title":"Computational Methods in Systems Biology","author":"D. Chiarugi","year":"2005","unstructured":"Chiarugi, D., Curti, M., Degano, P., Marangoni, R.: VICE: A VIrtual CEll. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 207\u2013220. Springer, Heidelberg (2005)"},{"issue":"1","key":"19_CR11","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. Th. Comp. Sci.\u00a0325(1), 69\u2013110 (2004)","journal-title":"Th. Comp. Sci."},{"key":"19_CR12","series-title":"ENTCS","first-page":"101","volume-title":"Proc. QAPL 2006","author":"P. Degano","year":"2006","unstructured":"Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for biological quantitative experiments. In: Proc. QAPL 2006. ENTCS, vol.\u00a0164(3), pp. 101\u2013117. Elsevier, North-Holland (2006)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sonmez, K.: Pathway Logic: Symbolic analysis of biological signaling. In: Proc. Pacific Symp. on Biocomputing, pp. 400\u2013412 (2002)","DOI":"10.1142\/9789812799623_0038"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Talcott, C.: Pathway Logic: Executable models of biological networks. In: Proc. Rewriting Logic and its Applications. ENCS, vol.\u00a071 (2002)","DOI":"10.1016\/S1571-0661(05)82533-2"},{"key":"19_CR15","first-page":"133","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"F. Gadducci","year":"1998","unstructured":"Gadducci, F., Montanari, U.: The Tile Model. In: Proof, Language and Interaction: Essays in Honour of Robin Milner, pp. 133\u2013166. MIT Press, Cambridge (1998)"},{"issue":"25","key":"19_CR16","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"J. of Physical Chemistry"},{"key":"19_CR17","first-page":"209","volume":"97","author":"B. Gutnik","year":"2003","unstructured":"Gutnik, B., Pinto, D., Ermentrout, B.: Mathematical neuroscience: from neurons to circuits to systems. J. of Physiology\u00a097, 209\u2013219 (2003)","journal-title":"J. of Physiology"},{"key":"19_CR18","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1034\/j.1600-0854.2002.31003.x","volume":"3","author":"O. Haller","year":"2002","unstructured":"Haller, O., Kochs, G.: Interferon-induced Mx proteins: Dynamin-like GTPases with antiviral activity. Traffic\u00a03, 710\u2013717 (2002)","journal-title":"Traffic"},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Lin, H.: Symbolic bisimulations. Th. Comp. Sci.\u00a0138, 353\u2013389 (1995)","journal-title":"Th. Comp. Sci."},{"issue":"1","key":"19_CR20","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H. Jong de","year":"2002","unstructured":"de Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. of Comp. Biology\u00a09(1), 67\u2013103 (2002)","journal-title":"J. of Comp. Biology"},{"issue":"5560","key":"19_CR21","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Systems Biology: a brief overview. Science\u00a0295(5560), 1662\u20131664 (2002)","journal-title":"Science"},{"issue":"4","key":"19_CR22","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1177\/0037549704045800","volume":"80","author":"P. Lecca","year":"2004","unstructured":"Lecca, P., Priami, C., Quaglia, P., Rossi, B., Laudanna, C., Costantin, G.: A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment. SIMULATION\u00a080(4), 273\u2013288 (2004)","journal-title":"SIMULATION"},{"key":"19_CR23","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. Leifer","year":"2000","unstructured":"Leifer, 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":"19_CR24","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11885191_1","volume-title":"Computational Methods in Systems Biology","author":"M. Miculan","year":"2006","unstructured":"Miculan, M., Bacci, G.: Modal logics for Brane Calculus. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 1\u201316. Springer, Heidelberg (2006)"},{"key":"19_CR25","first-page":"133","volume":"10","author":"M. Nagasaki","year":"1999","unstructured":"Nagasaki, M., Onami, S., Miyano, S., Kitano, H.: Bio-calculus: its concept and molecular interaction. Genome Informatics\u00a010, 133\u2013143 (1999)","journal-title":"Genome Informatics"},{"key":"19_CR26","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Proc. Bioconcur 2004 (2004)"},{"issue":"6","key":"19_CR27","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-calculus. The Computer Journal\u00a038(6), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"19_CR28","series-title":"Lecture Notes in Bioinformatics","first-page":"21","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. 21\u201334. Springer, Heidelberg (2005)"},{"key":"19_CR29","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., Shapiro, E., Silvermann, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters\u00a080, 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"issue":"1","key":"19_CR30","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., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartements. Th. Comp. Sci.\u00a0325(1), 141\u2013167 (2004)","journal-title":"Th. Comp. Sci."},{"key":"19_CR31","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A. Regev","year":"2002","unstructured":"Regev, A., Shapiro, E.: Cellular Abstractions: Cells as Computation. Nature\u00a0419, 343 (2002)","journal-title":"Nature"},{"key":"19_CR32","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the \u03c0-calculus process algebra. In: Proc. Pacific Symp. on Biocomputing, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"issue":"1-2","key":"19_CR33","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1006\/inco.1999.2818","volume":"156","author":"A. Rensink","year":"2000","unstructured":"Rensink, A.: Bisimilarity of open terms. Inform. and Comput.\u00a0156(1-2), 345\u2013385 (2000)","journal-title":"Inform. and Comput."},{"issue":"6912","key":"19_CR34","first-page":"206","volume":"420","author":"C. Surridge","year":"2002","unstructured":"Surridge, C.: Computational biology. Nature Insight\u00a0420(6912), 206\u2013246 (2002)","journal-title":"Nature Insight"},{"key":"19_CR35","unstructured":"Talcott, C., Eker, S., Knapp, M., Lincoln, P., Laderoute, K.: Pathway logic modeling of protein functional domains in signal transduction. In: Proc. Pacific Symp. on Biocomputing (2004)"},{"key":"19_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/3-540-45708-9","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"P. Yang","year":"2002","unstructured":"Yang, P., Ramakrishnan, C., Smolka, S.: A logical encoding of the pi-calculus: Model checking mobile processes using tabled resolution. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol.\u00a02575, pp. 86\u2013101. Springer, Heidelberg (2002)"},{"key":"19_CR37","unstructured":"Winnacker, E.L.: From Genes to Clones, VCH Publishers (1987)"}],"container-title":["Lecture Notes in Computer Science","Algebraic Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73433-8_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:25:54Z","timestamp":1737361554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73433-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540734321","9783540734338"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73433-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}