{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,26]],"date-time":"2026-06-26T23:34:42Z","timestamp":1782516882199,"version":"3.54.5"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,3,28]],"date-time":"2017-03-28T00:00:00Z","timestamp":1490659200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1007\/s00236-017-0296-3","type":"journal-article","created":{"date-parts":[[2017,3,28]],"date-time":"2017-03-28T15:56:34Z","timestamp":1490716594000},"page":"227-267","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Generalized contexts for reaction systems: definition and study of dynamic causalities"],"prefix":"10.1007","volume":"55","author":[{"given":"Roberto","family":"Barbuti","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7424-9576","authenticated-orcid":false,"given":"Roberta","family":"Gori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesca","family":"Levi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,3,28]]},"reference":[{"key":"296_CR1","unstructured":"Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Specialized predictor for reaction systems with context properties. In: Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, CS&P 2015, pp. 31\u201343 (2015)"},{"key":"296_CR2","doi-asserted-by":"crossref","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)","journal-title":"Theor. Comput. Sci."},{"issue":"2\u20133","key":"296_CR3","doi-asserted-by":"crossref","first-page":"173","DOI":"10.3233\/FI-2016-1403","volume":"147","author":"R Barbuti","year":"2016","unstructured":"Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Specialized predictor for reaction systems with context properties. Fundam. Inf. 147(2\u20133), 173\u2013191 (2016)","journal-title":"Fundam. Inf."},{"key":"296_CR4","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/j.entcs.2013.11.003","volume":"299","author":"C Bodei","year":"2013","unstructured":"Bodei, C., Gori, R., Levi, F.: An analysis for causal properties of membrane interactions. Electr. Notes Theor. Comput. Sci. 299, 15\u201331 (2013)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"296_CR5","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.tcs.2015.03.014","volume":"587","author":"C Bodei","year":"2015","unstructured":"Bodei, C., Gori, R., Levi, F.: Causal static analysis for Brane Calculi. Theor. Comput. Sci. 587, 73\u2013103 (2015)","journal-title":"Theor. Comput. Sci."},{"issue":"7","key":"296_CR6","doi-asserted-by":"crossref","first-page":"1499","DOI":"10.1142\/S0129054111008842","volume":"22","author":"R Brijder","year":"2011","unstructured":"Brijder, R., Ehrenfeucht, A., Main, M.G., Rozenberg, G.: A tour of reaction systems. Int. J. Found. Comput. Sci. 22(7), 1499\u20131517 (2011)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"296_CR7","doi-asserted-by":"publisher","unstructured":"Brijder, R., Ehrenfeucht, A., Rozenberg, G.: A note on causalities in reaction systems. Electronic Communications of the EASST 30 (2010). doi: 10.14279\/tuj.eceasst.30.429","DOI":"10.14279\/tuj.eceasst.30.429"},{"key":"296_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2078-5","volume-title":"Boolean Reasoning: The Logic of Boolean Equations","author":"FM Brown","year":"1990","unstructured":"Brown, F.M.: Boolean Reasoning: The Logic of Boolean Equations. Kluwer, Amsterdam (1990)"},{"key":"296_CR9","doi-asserted-by":"crossref","DOI":"10.1201\/9781420011449","volume-title":"Fundamentals of Natural Computing: Basic Concepts, Algorithms, and Applications","author":"LN Castro De","year":"2006","unstructured":"De Castro, L.N.: Fundamentals of Natural Computing: Basic Concepts, Algorithms, and Applications. CRC Press, Boca Raton (2006)"},{"key":"296_CR10","volume-title":"Logic Design of Digital Systems","author":"D Dietmeyer","year":"1978","unstructured":"Dietmeyer, D.: Logic Design of Digital Systems. Allyn and Bacon, Boston (1978)"},{"issue":"1\u20134","key":"296_CR11","first-page":"263","volume":"75","author":"A Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundam. Inf. 75(1\u20134), 263\u2013280 (2007)","journal-title":"Fundam. Inf."},{"key":"296_CR12","doi-asserted-by":"crossref","unstructured":"Fujita, M., Matsunaga, Y.: Multi-level logic minimization based on minimal support and its application to the minimization of look-up table type FPGAS. In: 1991 IEEE\/ACM International Conference on Computer-Aided Design, ICCAD 1993, Santa Clara, CA, USA, November 11\u201314, 1991. Digest of Technical Papers, pp. 560\u2013563 (1991)","DOI":"10.1109\/ICCAD.1991.185332"},{"issue":"8","key":"296_CR13","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1016\/j.ic.2010.03.004","volume":"208","author":"R Gori","year":"2010","unstructured":"Gori, R., Levi, F.: Abstract interpretation based verification of temporal properties for bioambients. Inf. Comput. 208(8), 869\u2013921 (2010)","journal-title":"Inf. Comput."},{"issue":"11","key":"296_CR14","doi-asserted-by":"crossref","first-page":"1064","DOI":"10.1109\/TC.1978.1674997","volume":"27","author":"C Halatsis","year":"1978","unstructured":"Halatsis, C., Gaitanis, N.: Irredundant normal forms and minimal dependece sets of a Boolean function. IEEE Trans. Comput. 27(11), 1064\u20131068 (1978)","journal-title":"IEEE Trans. Comput."},{"key":"296_CR15","volume-title":"Logic Synthesis and Verification","year":"2002","unstructured":"Hassoun, S., Sasao, T. (eds.): Logic Synthesis and Verification. Kluwer, Amsterdam (2002)"},{"issue":"9","key":"296_CR16","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1109\/TC.1979.1675428","volume":"28","author":"Y Kambayashi","year":"1979","unstructured":"Kambayashi, Y.: Logic design of programmable logic arrays. IEEE Trans. Comput. 28(9), 609\u2013617 (1979)","journal-title":"IEEE Trans. Comput."},{"issue":"10","key":"296_CR17","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/1400181.1400200","volume":"51","author":"L Kari","year":"2008","unstructured":"Kari, L., Rozenberg, G.: The many facets of natural computing. Commun. ACM 51(10), 72\u201383 (2008)","journal-title":"Commun. ACM"},{"key":"296_CR18","unstructured":"Konieczny, P., J\u00f3\u017awiak, L.: Minimal input support problem and algorithms to solve it. Eindhoven University of Thechnology Reaserch Report, pp. 1\u201355 (1995)"},{"issue":"1","key":"296_CR19","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108\u2013143 (2000)","journal-title":"J. Comput. Syst. Sci."},{"key":"296_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing: An Introduction. Natural Computing Series","author":"G P\u0103un","year":"2002","unstructured":"P\u0103un, G.: Membrane Computing: An Introduction. Natural Computing Series. Springer, Berlin (2002)"},{"issue":"12","key":"296_CR21","first-page":"3930","volume":"118","author":"P Sonveaux","year":"2008","unstructured":"Sonveaux, P., V\u00e9gran, F., Schroeder, T., Wergin, M.C., Verrax, J., Rabbani, Z.N., De Saedeleer, C.J., Kennedy, K.M., Diepart, C., Jordan, B.F., et al.: Targeting lactate-fueled respiration selectively kills hypoxic tumor cells in mice. J. Clin. Investig. 118(12), 3930\u20133942 (2008)","journal-title":"J. Clin. Investig."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-017-0296-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-017-0296-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-017-0296-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,4]],"date-time":"2020-10-04T14:41:23Z","timestamp":1601822483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-017-0296-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,28]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["296"],"URL":"https:\/\/doi.org\/10.1007\/s00236-017-0296-3","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,28]]}}}