{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,26]],"date-time":"2026-06-26T23:34:39Z","timestamp":1782516879114,"version":"3.54.5"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T00:00:00Z","timestamp":1756598400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T00:00:00Z","timestamp":1756598400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003407","name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["B87G22000450001"],"award-info":[{"award-number":["B87G22000450001"]}],"id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2025,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>We proceed in the investigation of models of environment in reaction systems, beyond the simple models establishing context-independent or arbitrary processes, to consider restrictions on both the sets of entities that an environment can contribute to a reaction system and the set of entities that a reaction system can produce. Such a distinction is reminiscent of that between self and non-self in living systems and is examined in this paper under different respects. We discuss applications of the model to living systems and security, as well as relations between families of reaction systems with self distinction, unveiling peculiarities of processes with self distinction with respect to the classical notion, for both context-independent processes and processes with arbitrary context. In particular, we introduce a notion of simulation, through which we show that the restriction to systems with self distinction does not entail any loss in the set of realisable behaviours, and that there exists a family of reaction systems with self distinction able to simulate context-independent behaviours of classical reaction systems through processes with arbitrary context. Moreover, using 2-step simulations, we show that every reaction system with self distinction can be reduced to a system (with self-distinction) using only reactions where no set of reactants and inhibitors mixes entities from both the self and the non-self sets.<\/jats:p>","DOI":"10.1007\/s11047-025-10050-9","type":"journal-article","created":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T07:06:46Z","timestamp":1756624006000},"page":"1029-1043","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reaction systems with self distinction"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4662-2019","authenticated-orcid":false,"given":"Paolo","family":"Bottoni","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0689-6720","authenticated-orcid":false,"given":"Tiziana","family":"Castrignan\u00f2","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5405-5531","authenticated-orcid":false,"given":"Anna","family":"Labella","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,8,31]]},"reference":[{"issue":"1\u20134","key":"10050_CR1","doi-asserted-by":"publisher","first-page":"263","DOI":"10.5555\/2366376.2366387","volume":"75","author":"A Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht A, Rozenberg G (2007) Reaction systems. Fundam Inform 75(1\u20134):263\u2013280. https:\/\/doi.org\/10.5555\/2366376.2366387","journal-title":"Fundam Inform"},{"issue":"7","key":"10050_CR2","doi-asserted-by":"publisher","first-page":"1499","DOI":"10.1142\/S0129054111008842","volume":"22","author":"R Brijder","year":"2011","unstructured":"Brijder R, Ehrenfeucht A, Main MG, Rozenberg G (2011) A tour of reaction systems. IJFCS 22(7):1499\u20131517. https:\/\/doi.org\/10.1142\/S0129054111008842","journal-title":"IJFCS"},{"issue":"1","key":"10050_CR3","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1142\/S0129054111007927","volume":"22","author":"A Ehrenfeucht","year":"2011","unstructured":"Ehrenfeucht A, Main MG, Rozenberg G (2011) Functions defined by reaction systems. IJFCS 22(1):167\u2013178. https:\/\/doi.org\/10.1142\/S0129054111007927","journal-title":"IJFCS"},{"key":"10050_CR4","doi-asserted-by":"publisher","DOI":"10.14279\/tuj.eceasst.30.429","author":"R Brijder","year":"2010","unstructured":"Brijder R, Ehrenfeucht A, Rozenberg G (2010) A note on causalities in reaction systems. ECEASST. https:\/\/doi.org\/10.14279\/tuj.eceasst.30.429","journal-title":"ECEASST"},{"key":"10050_CR5","doi-asserted-by":"publisher","unstructured":"Brijder R, Ehrenfeucht A, Rozenberg G (2011) Reaction systems with duration. In: Computation, cooperation, and life. LNCS, vol. 6610, pp. 191\u2013202. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-20000-7_16","DOI":"10.1007\/978-3-642-20000-7_16"},{"issue":"1","key":"10050_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s41965-018-00005-8","volume":"1","author":"P Bottoni","year":"2019","unstructured":"Bottoni P, Labella A, Rozenberg G (2019) Reaction systems with influence on environment. J Membr Comput 1(1):3\u201319. https:\/\/doi.org\/10.1007\/s41965-018-00005-8","journal-title":"J Membr Comput"},{"issue":"1","key":"10050_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1142\/S0129054120400043","volume":"31","author":"P Bottoni","year":"2020","unstructured":"Bottoni P, Labella A, Rozenberg G (2020) Networks of reaction systems. Int J Found Comput Sci 31(1):53\u201371. https:\/\/doi.org\/10.1142\/S0129054120400043","journal-title":"Int J Found Comput Sci"},{"issue":"2","key":"10050_CR8","doi-asserted-by":"publisher","first-page":"247","DOI":"10.14232\/actacyb.22.2.2015.2","volume":"22","author":"A Salomaa","year":"2015","unstructured":"Salomaa A (2015) Two-step simulations of reaction systems by minimal ones. Acta Cybern 22(2):247\u2013257. https:\/\/doi.org\/10.14232\/actacyb.22.2.2015.2","journal-title":"Acta Cybern"},{"key":"10050_CR9","doi-asserted-by":"publisher","unstructured":"Manzoni L, Porreca AE (2013) Reaction systems made simple. In: Proc. UCNC 2013, pp. 150\u2013161. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-39074-6_15","DOI":"10.1007\/978-3-642-39074-6_15"},{"issue":"1\u20132","key":"10050_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2007.01.008","volume":"376","author":"A Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht A, Rozenberg G (2007) Events and modules in reaction systems. Theoret Comput Sci 376(1\u20132):3\u201316. https:\/\/doi.org\/10.1016\/j.tcs.2007.01.008","journal-title":"Theoret Comput Sci"},{"key":"10050_CR11","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.tcs.2012.07.022","volume":"466","author":"A Salomaa","year":"2012","unstructured":"Salomaa A (2012) Functions and sequences generated by reaction systems. Theoret Comput Sci 466:87\u201396. https:\/\/doi.org\/10.1016\/j.tcs.2012.07.022","journal-title":"Theoret Comput Sci"},{"key":"10050_CR12","doi-asserted-by":"publisher","unstructured":"Kleijn J, Koutny M, Mikulski \u0141, Rozenberg G (2018) Reaction systems, transition systems, and equivalences. In: B\u00f6ckenhauer HJ, Komm D, Unger W (Eds) Adventures between lower bounds and higher altitudes: essays dedicated to Juraj Hromkovi\u010d on the occasion of his 60th birthday. LNCS, vol. 11011, pp. 63\u201384. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-319-98355-4_5","DOI":"10.1007\/978-3-319-98355-4_5"},{"issue":"3","key":"10050_CR13","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/s41965-020-00042-2","volume":"2","author":"WC Teh","year":"2020","unstructured":"Teh WC, Atanasiu A (2020) Simulation of reaction systems by the strictly minimal ones. J Membr Comput 2(3):162\u2013170. https:\/\/doi.org\/10.1007\/s41965-020-00042-2","journal-title":"J Membr Comput"},{"issue":"04","key":"10050_CR14","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1142\/S012905411440005X","volume":"25","author":"L Manzoni","year":"2014","unstructured":"Manzoni L, Po\u00e7as D, Porreca AE (2014) Simple reaction systems and their classification. Int J Found Comput Sci 25(04):441\u2013457. https:\/\/doi.org\/10.1142\/S012905411440005X","journal-title":"Int J Found Comput Sci"},{"key":"10050_CR15","doi-asserted-by":"publisher","DOI":"10.1098\/rspb.2016.0469","author":"RA Quinn","year":"2016","unstructured":"Quinn RA (2016) Metabolomics of reef benthic interactions reveals a bioactive lipid involved in coral defence. Proc R Soc B. https:\/\/doi.org\/10.1098\/rspb.2016.0469","journal-title":"Proc R Soc B"},{"key":"10050_CR16","doi-asserted-by":"publisher","unstructured":"Koch M, Mancini LV, Parisi resicce F (2002) Conflict detection and resolution in access control policy specifications. In: Nielsen M, Engberg U (Eds) Foundations of software science and computation structures. LNCS, pp. 223\u2013238. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/3-540-45931-6_16","DOI":"10.1007\/3-540-45931-6_16"},{"key":"10050_CR17","doi-asserted-by":"crossref","unstructured":"Milner R (1980) Calculus of communicating systems. LNCS, vol. 92. Springer, Heidelberg","DOI":"10.1007\/3-540-10235-3"},{"issue":"2","key":"10050_CR18","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1017\/S0960129599002935","volume":"9","author":"S Kasangian","year":"1999","unstructured":"Kasangian S, Labella A (1999) Observational trees as models for concurrency. Math Struct Comput Sci 9(2):687\u2013718. https:\/\/doi.org\/10.1017\/S0960129599002935","journal-title":"Math Struct Comput Sci"},{"key":"10050_CR19","doi-asserted-by":"publisher","unstructured":"Park D (1981) Concurrency and automata on infinite sequences. In: Theoretical computer science. LNCS, vol. 104, pp. 167\u2013183. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/BFb0017309","DOI":"10.1007\/BFb0017309"},{"key":"10050_CR20","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.tcs.2016.12.031","volume":"682","author":"A Ehrenfeucht","year":"2017","unstructured":"Ehrenfeucht A, Kleijn J, Koutny M, Rozenberg G (2017) Evolving reaction systems. Theor Comput Sci 682:79\u201399. https:\/\/doi.org\/10.1016\/j.tcs.2016.12.031","journal-title":"Theor Comput Sci"},{"issue":"1","key":"10050_CR21","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.24","volume":"32","author":"M Hennessy","year":"1985","unstructured":"Hennessy M, Milner R (1985) Algebraic laws for nondeterminism and concurrency. J ACM 32(1):137\u2013161. https:\/\/doi.org\/10.1145\/2455.24","journal-title":"J ACM"},{"key":"10050_CR22","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1017\/S0960129509990272","volume":"20","author":"R De Nicola","year":"2010","unstructured":"De Nicola R, Gorla D, Labella A (2010) Tree-functors, determinacy and bisimulations. Math Struct Comput Sci 20:319\u2013358. https:\/\/doi.org\/10.1017\/S0960129509990272","journal-title":"Math Struct Comput Sci"},{"key":"10050_CR23","volume-title":"Introduction to bisimulation and coinduction","author":"D Sangiorgi","year":"2012","unstructured":"Sangiorgi D (2012) Introduction to bisimulation and coinduction. Cambridge University Press, Cambridge"},{"key":"10050_CR24","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 (2014) Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor Comput Sci 551:1\u201321. https:\/\/doi.org\/10.1016\/j.tcs.2014.04.010","journal-title":"Theor Comput Sci"},{"key":"10050_CR25","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2021.07.012","volume":"881","author":"P Bottoni","year":"2021","unstructured":"Bottoni P, Labella A (2021) Transactions and contracts based on reaction systems. Theor Comput Sci 881:25\u201361. https:\/\/doi.org\/10.1016\/j.tcs.2021.07.012","journal-title":"Theor Comput Sci"},{"key":"10050_CR26","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.tcs.2020.11.050","volume":"881","author":"D Genova","year":"2021","unstructured":"Genova D, Hoogeboom HJ, Kleijn J (2021) Comparing reactions in reaction systems. Theoret Comput Sci 881:83\u201396. https:\/\/doi.org\/10.1016\/j.tcs.2020.11.050","journal-title":"Theoret Comput Sci"},{"key":"10050_CR27","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.ins.2015.03.048","volume":"313","author":"A Meski","year":"2015","unstructured":"Meski A, Penczek W, Rozenberg G (2015) Model checking temporal properties of reaction systems. Inf Sci 313:22\u201342. https:\/\/doi.org\/10.1016\/j.ins.2015.03.048","journal-title":"Inf Sci"},{"issue":"6","key":"10050_CR28","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/J.JVLC.2013.08.003","volume":"24","author":"P Bottoni","year":"2013","unstructured":"Bottoni P, Parisi Presicce F (2013) Annotation processes for flexible management of contextual information. J Vis Lang Comput 24(6):421\u2013440. https:\/\/doi.org\/10.1016\/J.JVLC.2013.08.003","journal-title":"J Vis Lang Comput"},{"issue":"4","key":"10050_CR29","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1017\/S0960129517000019","volume":"28","author":"P Bottoni","year":"2018","unstructured":"Bottoni P, Gorla D, Kasangian S, Labella A (2018) A doctrinal approach to modal\/temporal heyting logic and non-determinism in processes. Math Struct Comp Sci 28(4):508\u2013532. https:\/\/doi.org\/10.1017\/S0960129517000019","journal-title":"Math Struct Comp Sci"},{"key":"10050_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/j.bcra.2022.100062","author":"P Bottoni","year":"2022","unstructured":"Bottoni P, Labella A, Pareschi R (2022) A formal model for ledger management systems based on contracts and temporal logic. Blockchain Res Appl. https:\/\/doi.org\/10.1016\/j.bcra.2022.100062","journal-title":"Blockchain Res Appl"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-025-10050-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11047-025-10050-9","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-025-10050-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:26:01Z","timestamp":1766085961000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11047-025-10050-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,31]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["10050"],"URL":"https:\/\/doi.org\/10.1007\/s11047-025-10050-9","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,31]]},"assertion":[{"value":"31 July 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 August 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}