{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T19:33:32Z","timestamp":1766432012805,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030904241"},{"type":"electronic","value":"9783030904258"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-90425-8_2","type":"book-chapter","created":{"date-parts":[[2021,11,3]],"date-time":"2021-11-03T07:05:02Z","timestamp":1635923102000},"page":"15-32","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4455-2419","authenticated-orcid":false,"given":"Linda","family":"Brodo","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7771-4154","authenticated-orcid":false,"given":"Roberto","family":"Bruni","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-7424-9576","authenticated-orcid":false,"given":"Roberta","family":"Gori","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6137-0019","authenticated-orcid":false,"given":"Francesca","family":"Levi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7309-6424","authenticated-orcid":false,"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,11,4]]},"reference":[{"issue":"3","key":"2_CR1","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1023381027062","volume":"23","author":"D Agnello","year":"2003","unstructured":"Agnello, D., et al.: Cytokines and transcription factors that regulate t helper cell differentiation: new players and new insights. J. Clin. Immunol. 23(3), 147\u2013161 (2003). https:\/\/doi.org\/10.1023\/A:1023381027062","journal-title":"J. Clin. Immunol."},{"issue":"C","key":"2_CR2","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.tcs.2017.03.047","volume":"701","author":"S Azimi","year":"2017","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","journal-title":"Theor. Comput. Sci."},{"issue":"3\u20134","key":"2_CR3","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":"2_CR4","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":"2_CR5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2020.07.031","author":"R Barbuti","year":"2021","unstructured":"Barbuti, R., Gori, R., Milazzo, P.: Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation. Theor. Comput. Sci. (2021). https:\/\/doi.org\/10.1016\/j.tcs.2020.07.031","journal-title":"Theor. Comput. Sci."},{"issue":"07","key":"2_CR6","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":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-642-20000-7_16","volume-title":"Computation, Cooperation, and Life","author":"R Brijder","year":"2011","unstructured":"Brijder, R., Ehrenfeucht, A., Rozenberg, G.: Reaction systems with duration. In: Kelemen, J., Kelemenov\u00e1, A. (eds.) Computation, Cooperation, and Life. LNCS, vol. 6610, pp. 191\u2013202. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20000-7_16"},{"key":"2_CR8","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. Theor. Comput. Sci. 875, 1\u201327 (2021). https:\/\/doi.org\/10.1016\/j.tcs.2021.03.024","journal-title":"Theor. Comput. Sci."},{"key":"2_CR9","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":"2_CR10","volume-title":"Principles of Abstract Interpretation","author":"P Cousot","year":"2021","unstructured":"Cousot, P.: Principles of Abstract Interpretation. MIT Press, Cambridge (2021)"},{"key":"2_CR11","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the ACM POPL 1977, pp. 238\u2013252. ACM (1977). https:\/\/doi.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"issue":"3","key":"2_CR12","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":"2_CR13","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\u20134","key":"2_CR14","first-page":"263","volume":"75","author":"A Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundam. Informaticae 75(1\u20134), 263\u2013280 (2007)","journal-title":"Fundam. Informaticae"},{"key":"2_CR15","unstructured":"Hillston, J.: A compositional approach to performance modelling. Ph.D. Thesis, University of Edinburgh, UK (1994)"},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.biosystems.2005.10.004","volume":"84","author":"L Mendoza","year":"2006","unstructured":"Mendoza, L.: A network model for the control of the differentiation process in th cells. Biosystems 84(2), 101\u2013114 (2006). https:\/\/doi.org\/10.1016\/j.biosystems.2005.10.004","journal-title":"Biosystems"},{"key":"2_CR17","doi-asserted-by":"publisher","unstructured":"M\u0119ski, A., Koutny, M., Penczek, W.: Towards quantitative verification of reaction systems. In: Amos, M., Condon, A. (eds.) Unconventional Computation and Natural Computation, UCNC 2016. LNCS, vol. 9726, pp. 142\u2013154. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41312-9_12","DOI":"10.1007\/978-3-319-41312-9_12"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980). https:\/\/doi.org\/10.1007\/3-540-10235-3"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1038\/nri954","volume":"2","author":"KM Murphy","year":"2002","unstructured":"Murphy, K.M., Reiner, S.L.: Decision making in the immune system: the lineage decisions of helper t cells. Nat. Rev. Immunol. 2, 933\u2013944 (2002). https:\/\/doi.org\/10.1038\/nri954","journal-title":"Nat. Rev. Immunol."},{"issue":"2","key":"2_CR20","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s11047-015-9504-7","volume":"15","author":"F Okubo","year":"2015","unstructured":"Okubo, F., Yokomori, T.: The computational capability of chemical reaction automata. Nat. Comput. 15(2), 215\u2013224 (2015). https:\/\/doi.org\/10.1007\/s11047-015-9504-7","journal-title":"Nat. Comput."},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2014.04.010","volume":"551","author":"G Pardini","year":"2014","unstructured":"Pardini, G., Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor. Comput. Sci. 551, 1\u201321 (2014). https:\/\/doi.org\/10.1016\/j.tcs.2014.04.010","journal-title":"Theor. Comput. Sci."},{"key":"2_CR22","unstructured":"Plotkin, G.D.: An operational semantics for CSP. In: Bj\u00f8rner, D. (ed.) Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, pp. 199\u2013226. North-Holland (1982)"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.05.001","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebraic Methods Program. 60\u201361, 17\u2013139 (2004). https:\/\/doi.org\/10.1016\/j.jlap.2004.05.001","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"3","key":"2_CR24","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s00285-003-0211-0","volume":"47","author":"M Villasana","year":"2003","unstructured":"Villasana, M., Radunskaya, A.: A delay differential equation model for tumor growth. J. Math. Biol. 47(3), 270\u2013294 (2003). https:\/\/doi.org\/10.1007\/s00285-003-0211-0","journal-title":"J. Math. Biol."}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-90425-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T11:13:59Z","timestamp":1710242039000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-90425-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030904241","9783030904258"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-90425-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"4 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TPNC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on the Theory and Practice of Natural Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tsukuba","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tpnc2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/irdta.eu\/tpnc2020-2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"64% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}