{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:44:38Z","timestamp":1765233878297,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031716706"},{"type":"electronic","value":"9783031716713"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-71671-3_1","type":"book-chapter","created":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T22:45:48Z","timestamp":1726785948000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Process Calculi and\u00a0Rewriting Techniques for\u00a0Analyzing Reaction Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1048-1739","authenticated-orcid":false,"given":"Demis","family":"Ballis","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4455-2419","authenticated-orcid":false,"given":"Linda","family":"Brodo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6659-3828","authenticated-orcid":false,"given":"Moreno","family":"Falaschi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7264-7773","authenticated-orcid":false,"given":"Carlos","family":"Olarte","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,19]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-030-19570-0_11","volume-title":"Logics in Artificial Intelligence","author":"M Alpuente","year":"2019","unstructured":"Alpuente, M., Ballis, D., Cuenca-Ortega, A., Escobar, S., Meseguer, J.: ACUOS$$^{2}$$: a high-performance system for modular ACU generalization with subtyping and inheritance. In: Calimeri, F., Leone, N., Manna, M. (eds.) JELIA 2019. LNCS (LNAI), vol. 11468, pp. 171\u2013181. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-19570-0_11"},{"key":"1_CR2","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-031-16767-6_3","volume-title":"LOPSTR 2022","author":"M Alpuente","year":"2022","unstructured":"Alpuente, M., Ballis, D., Escobar, S., Sapi\u00f1a, J.: Variant-based equational anti-unification. In: Villanueva, A. (ed.) LOPSTR 2022. LNCS, vol. 13474, pp. 44\u201360. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-16767-6_3"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-319-23165-5_3","volume-title":"Logic, Rewriting, and Concurrency","author":"M Alpuente","year":"2015","unstructured":"Alpuente, M., Ballis, D., Frechina, F., Sapi\u00f1a, J.: Combining runtime checking and slicing to improve Maude error diagnosis. In: Mart\u00ed-Oliet, N., \u00d6lveczky, P.C., Talcott, C. (eds.) Logic, Rewriting, and Concurrency. LNCS, vol. 9200, pp. 72\u201396. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23165-5_3"},{"issue":"5\u20136","key":"1_CR4","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1017\/S1471068416000375","volume":"16","author":"M Alpuente","year":"2016","unstructured":"Alpuente, M., Ballis, D., Frechina, F., Sapi\u00f1a, J.: Assertion-based analysis via slicing with ABETS. Theory Pract. Logic Program. 16(5\u20136), 515\u2013532 (2016). https:\/\/doi.org\/10.1017\/S1471068416000375","journal-title":"Theory Pract. Logic Program."},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.scico.2013.07.014","volume":"81","author":"M Alpuente","year":"2014","unstructured":"Alpuente, M., Ballis, D., Romero, D.: A rewriting logic approach to the formal specification and verification of web applications. Sci. Comput. Program. 81, 79\u2013107 (2014). https:\/\/doi.org\/10.1016\/j.scico.2013.07.014","journal-title":"Sci. Comput. Program."},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.jss.2019.03.061","volume":"153","author":"M Alpuente","year":"2019","unstructured":"Alpuente, M., Ballis, D., Sapi\u00f1a, J.: Static correction of Maude programs with assertions. J. Syst. Softw. 153, 64\u201385 (2019). https:\/\/doi.org\/10.1016\/j.jss.2019.03.061","journal-title":"J. Syst. Softw."},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Azimi, S.: Steady states of constrained reaction systems. Theor. Comput. Sci. 701(C), 20\u201326 (2017). https:\/\/doi.org\/10.1016\/j.tcs.2017.03.047","DOI":"10.1016\/j.tcs.2017.03.047"},{"issue":"3\u20134","key":"1_CR8","doi-asserted-by":"publisher","first-page":"299","DOI":"10.3233\/FI-2014-1016","volume":"131","author":"S Azimi","year":"2014","unstructured":"Azimi, S., Iancu, B., Petre, I.: Reaction system models for the heat shock response. Fundam. Informaticae 131(3\u20134), 299\u2013312 (2014). https:\/\/doi.org\/10.3233\/FI-2014-1016","journal-title":"Fundam. Informaticae"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-16310-4_14","volume-title":"Rewriting Logic and Its Applications","author":"K Bae","year":"2010","unstructured":"Bae, K., Meseguer, J.: The linear temporal logic of rewriting Maude model checker. In: \u00d6lveczky, P.C. (ed.) WRLA 2010. LNCS, vol. 6381, pp. 208\u2013225. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16310-4_14"},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Ballis, D., Brodo, L., Falaschi, M.: Modeling and analyzing reaction systems in Maude. Electronics 13(6), 1139 (2024). https:\/\/doi.org\/10.3390\/electronics13061139","DOI":"10.3390\/electronics13061139"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Ballis, D., Brodo, L., Falaschi, M., Olarte, C.: Process calculi and rewriting techniques for analyzing reaction systems. Companion tool (2024). https:\/\/depot.lipn.univ-paris13.fr\/olarte\/reaction-systems-maude.git","DOI":"10.3390\/electronics13061139"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.tcs.2015.11.041","volume":"623","author":"R Barbuti","year":"2016","unstructured":"Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Investigating dynamic causalities in reaction systems. Theor. Comput. Sci. 623, 114\u2013145 (2016). https:\/\/doi.org\/10.1016\/j.tcs.2015.11.041","journal-title":"Theor. Comput. Sci."},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Barbuti, R., Gori, R., Milazzo, P.: Encoding boolean networks into reaction systems for investigating causal dependencies in gene regulation. Theor. Comput. Sci. 881, 3\u201324 (2021). https:\/\/doi.org\/10.1016\/j.tcs.2020.07.031. Special Issue on Reaction Systems","DOI":"10.1016\/j.tcs.2020.07.031"},{"issue":"2","key":"1_CR14","doi-asserted-by":"publisher","first-page":"229","DOI":"10.3233\/JCS-2010-0361","volume":"18","author":"C Bodei","year":"2010","unstructured":"Bodei, C., Brodo, L., Degano, P., Gao, H.: Detecting and preventing type flaws at static time. J. Comput. Secur. 18(2), 229\u2013264 (2010). https:\/\/doi.org\/10.3233\/JCS-2010-0361","journal-title":"J. Comput. Secur."},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-319-25527-9_12","volume-title":"Programming Languages with Applications to Biology and Security","author":"C Bodei","year":"2015","unstructured":"Bodei, C., Brodo, L., Focardi, R.: Static evidences for attack reconstruction. In: Bodei, C., Ferrari, G.-L., Priami, C. (eds.) Programming Languages with Applications to Biology and Security. LNCS, vol. 9465, pp. 162\u2013182. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25527-9_12"},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Bodei, C., Brodo, L., Gori, R., Levi, F., Bernini, A., Hermith, D.: A static analysis for brane calculi providing global occurrence counting information. Theor. Comput. Sci. 696, 11\u201351 (2017). https:\/\/doi.org\/10.1016\/J.TCS.2017.07.008","DOI":"10.1016\/J.TCS.2017.07.008"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.ddmod.2019.12.001","volume":"31","author":"D Braconi","year":"2020","unstructured":"Braconi, D., Millucci, L., Spiga, O., Santucci, A.: Cella and tissue models of alkaptonuria. Drug Discov. Today Dis. Model. 31, 3\u201310 (2020). https:\/\/doi.org\/10.1016\/j.ddmod.2019.12.001","journal-title":"Drug Discov. Today Dis. Model."},{"issue":"07","key":"1_CR18","doi-asserted-by":"publisher","first-page":"1499","DOI":"10.1142\/S0129054111008842","volume":"22","author":"R Brijder","year":"2011","unstructured":"Brijder, R., Ehrenfeucht, A., Main, M., Rozenberg, G.: A tour of reaction systems. Int. J. Found. Comput. Sci. 22(07), 1499\u20131517 (2011). https:\/\/doi.org\/10.1142\/S0129054111008842","journal-title":"Int. J. Found. Comput. Sci."},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-17796-5_3","volume-title":"Algebraic Methodology and Software Technology","author":"L Brodo","year":"2011","unstructured":"Brodo, L.: On the expressiveness of the $$\\pi $$-calculus and the mobile ambients. In: Johnson, M., Pavlovic, D. (eds.) AMAST 2010. LNCS, vol. 6486, pp. 44\u201359. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-17796-5_3"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-030-31175-9_5","volume-title":"The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy","author":"L Brodo","year":"2019","unstructured":"Brodo, L., Bruni, R., Falaschi, M.: Enhancing reaction systems: a process algebraic approach. In: Alvim, M.S., Chatzikokolakis, K., Olarte, C., Valencia, F. (eds.) The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. LNCS, vol. 11760, pp. 68\u201385. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31175-9_5"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2021.03.024","volume":"875","author":"L Brodo","year":"2021","unstructured":"Brodo, L., Bruni, R., Falaschi, M.: A logical and graphical framework for reaction systems. Theoret. Comput. Sci. 875, 1\u201327 (2021). https:\/\/doi.org\/10.1016\/j.tcs.2021.03.024","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M Clavel","year":"2007","unstructured":"Clavel, M., et al.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.tcs.2012.04.003","volume":"454","author":"L Corolli","year":"2012","unstructured":"Corolli, L., Maj, C., Marinia, F., Besozzi, D., Mauri, G.: An excursion in reaction systems: from computer science to biology. Theor. Comput. Sci. 454, 95\u2013108 (2012). https:\/\/doi.org\/10.1016\/j.tcs.2012.04.003","journal-title":"Theor. Comput. Sci."},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Dur\u00e1n, F., et al.: Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020). https:\/\/doi.org\/10.1016\/J.JLAMP.2019.100497","DOI":"10.1016\/J.JLAMP.2019.100497"},{"issue":"3","key":"1_CR25","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1142\/S0129054110007295","volume":"21","author":"A Ehrenfeucht","year":"2010","unstructured":"Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Combinatorics of life and death for reaction systems. Int. J. Found. Comput. Sci. 21(3), 345\u2013356 (2010). https:\/\/doi.org\/10.1142\/S0129054110007295","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"1","key":"1_CR26","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1142\/S0129054111007927","volume":"22","author":"A Ehrenfeucht","year":"2011","unstructured":"Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Functions defined by reaction systems. Int. J. Found. Comput. Sci. 22(1), 167\u2013178 (2011). https:\/\/doi.org\/10.1142\/S0129054111007927","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"1","key":"1_CR27","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1186\/1752-0509-8-75","volume":"8","author":"SV der Heyde","year":"2014","unstructured":"der Heyde, S.V., Bender, C., Henjes, F., Sonntag, J., Korf, U., Bei\u00dfbarth, T.: Boolean ErbB network reconstructions and perturbation simulations reveal individual drug response in different breast cancer cell lines. BMC Syst. Biol. 8(1), 75 (2014). https:\/\/doi.org\/10.1186\/1752-0509-8-75","journal-title":"BMC Syst. Biol."},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-319-98355-4_5","volume-title":"Adventures Between Lower Bounds and Higher Altitudes","author":"J Kleijn","year":"2018","unstructured":"Kleijn, J., Koutny, M., Mikulski, \u0141, Rozenberg, G.: Reaction systems, transition systems, and equivalences. In: B\u00f6ckenhauer, H.-J., Komm, D., Unger, W. (eds.) Adventures Between Lower Bounds and Higher Altitudes. LNCS, vol. 11011, pp. 63\u201384. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98355-4_5"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.ins.2015.03.048","volume":"313","author":"A M\u0229ski","year":"2015","unstructured":"M\u0229ski, A., Penczek, W., Rozenberg, G.: Model checking temporal properties of reaction systems. Inf. Sci. 313, 22\u201342 (2015). https:\/\/doi.org\/10.1016\/j.ins.2015.03.048","journal-title":"Inf. Sci."},{"issue":"1","key":"1_CR30","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditioned rewriting logic as a united model of concurrency. Theor. Comput. Sci. 96(1), 73\u2013155 (1992). https:\/\/doi.org\/10.1016\/0304-3975(92)90182-F","journal-title":"Theor. Comput. Sci."},{"issue":"7\u20138","key":"1_CR31","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1016\/J.JLAP.2012.06.003","volume":"81","author":"J Meseguer","year":"2012","unstructured":"Meseguer, J.: Twenty years of rewriting logic. J. Log. Algebraic Methods Program. 81(7\u20138), 721\u2013781 (2012). https:\/\/doi.org\/10.1016\/J.JLAP.2012.06.003","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"1\u20134","key":"1_CR32","doi-asserted-by":"publisher","first-page":"289","DOI":"10.3233\/FI-2017-1567","volume":"154","author":"A Meski","year":"2017","unstructured":"Meski, A., Koutny, M., Penczek, W.: Verification of linear-time temporal properties for reaction systems with discrete concentrations. Fundam. Informaticae 154(1\u20134), 289\u2013306 (2017). https:\/\/doi.org\/10.3233\/FI-2017-1567","journal-title":"Fundam. Informaticae"},{"issue":"2","key":"1_CR33","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s11047-015-9504-7","volume":"15","author":"F Okubo","year":"2016","unstructured":"Okubo, F., Yokomori, T.: The computational capability of chemical reaction automata. Nat. Comput. 15(2), 215\u2013224 (2016). https:\/\/doi.org\/10.1007\/s11047-015-9504-7","journal-title":"Nat. Comput."},{"key":"1_CR34","doi-asserted-by":"publisher","DOI":"10.1016\/J.JLAMP.2021.100700","volume":"123","author":"R Rubio","year":"2021","unstructured":"Rubio, R., Mart\u00ed-Oliet, N., Pita, I., Verdejo, A.: Strategies, model checking and branching-time properties in maude. J. Log. Algebraic Methods Program. 123, 100700 (2021). https:\/\/doi.org\/10.1016\/J.JLAMP.2021.100700","journal-title":"J. Log. Algebraic Methods Program."},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-68894-5_2","volume-title":"Formal Methods for Computational Systems Biology","author":"C Talcott","year":"2008","unstructured":"Talcott, C.: Pathway logic. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 21\u201353. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68894-5_2"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71671-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T22:45:54Z","timestamp":1726785954000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71671-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031716706","9783031716713"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71671-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"19 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pisa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb.sciencesconf.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}