{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:25:34Z","timestamp":1740108334651,"version":"3.37.3"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T00:00:00Z","timestamp":1710288000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T00:00:00Z","timestamp":1710288000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"EFOP","award":["3.6.3-VEKOP-16-2017-00002"],"award-info":[{"award-number":["3.6.3-VEKOP-16-2017-00002"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2024,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper, we present an encoding of the <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\lambda $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>\u03bb<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>-calculus in a multiset rewriting system and provide a few applications of the construction. For this purpose, we choose the calculus named String MultiSet Rewriting, which was introduced in Barbuti et al. (Electron Notes Theor Comput Sci 194:19\u201334, 2008) by Barbuti et al. With the help of our encoding, we give alternative proofs for the standardization and the finiteness of developments theorems in the <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\lambda $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>\u03bb<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>-calculus.\n<\/jats:p>","DOI":"10.1007\/s00236-024-00456-w","type":"journal-article","created":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T03:01:30Z","timestamp":1710298890000},"page":"161-181","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An encoding of the $$\\lambda $$-calculus in the String MultiSet Rewriting calculus"],"prefix":"10.1007","volume":"61","author":[{"given":"Attila","family":"Bagossy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6703-9661","authenticated-orcid":false,"given":"P\u00e9ter","family":"Batty\u00e1nyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,3,13]]},"reference":[{"key":"456_CR1","doi-asserted-by":"publisher","unstructured":"Amadio, R., Curien, P.: Domains and Lambda-Calculi,\u201d Cambridge Tracts in Theoretical Computer Science 46, Cambridge. Cambridge University Press (1998). https:\/\/doi.org\/10.1017\/CBO9780511983504","DOI":"10.1017\/CBO9780511983504"},{"issue":"1","key":"456_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/j.entcs.2004.07.019","volume":"124","author":"J-P Ban\u00e2tre","year":"2005","unstructured":"Ban\u00e2tre, J.-P., Fradet, P., Radenac, Y.: Principles of chemical programming. Electron. Notes Theor. Comput. Sci. 124(1), 133\u2013147 (2005). https:\/\/doi.org\/10.1016\/j.entcs.2004.07.019","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"456_CR3","first-page":"21","volume":"72","author":"R Barbuti","year":"2006","unstructured":"Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A Calculus of looping sequences for modelling microbiological systems. Fund. Inform. 72, 21\u201335 (2006)","journal-title":"Fund. Inform."},{"key":"456_CR4","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2007.12.004","volume":"194","author":"R Barbuti","year":"2008","unstructured":"Barbuti, R., Caravagna, G., Maggiolo-Schettini, A., Milazzo, P.: An intermediate language for the simulation of biological systems. Electron. Notes Theor. Comput. Sci. 194, 19\u201334 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"456_CR5","unstructured":"Barendregt, H.P.: \u201cThe Lambda Calculus: Its Syntax and Semantics,\u201d Studies in Logic and the Foundations of Mathematics 103, North Holland (1985)"},{"key":"456_CR6","unstructured":"Batty\u00e1nyi, P., Nour, K.: An estimation for the lengths of reduction sequences of the $$\\lambda \\mu \\rho \\theta $$- calculus, Logical Methods in Computer Science 14(2) (2018)"},{"key":"456_CR7","doi-asserted-by":"crossref","unstructured":"Boudol, G., Curien, P., Lavatelli, C.: A semantics for lambda calculi with resources. Math. Struct. Comput. Sci. 9(4), 437-482. https:\/\/doi.org\/10.1017\/S0960129599002893 (1999)","DOI":"10.1017\/S0960129599002893"},{"key":"456_CR8","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Brane Calculi. Interactions of Biological Membranes, In: Danos, V., Schachter, V. (eds.), CMSB\u201904: Proceedings of the 20 International Conference on Computational Methods in Systems Biology, Lecture Notes in Computer Science 3082, Springer (2005)","DOI":"10.1007\/978-3-540-25974-9_24"},{"key":"456_CR9","unstructured":"Cervesato, I.: Petri Nets as Multiset Rewriting Systems in a Linear Framework, Unpublished notes (1994)"},{"issue":"1\u20134","key":"456_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s40747-015-0003-3","volume":"1","author":"G Ciobanu","year":"2015","unstructured":"Ciobanu, G.: Scalable distributed implementation of a biologically inspired parallel model. Complex Intell. Syst. 1(1\u20134), 69\u201380 (2015)","journal-title":"Complex Intell. Syst."},{"key":"456_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. Theoret. Comput. Sci. 325, 69\u2013110 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"456_CR12","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.entcs.2005.06.020","volume":"140","author":"R David","year":"2005","unstructured":"David, R., Nour, K.: Why the usual candidates of reducibility do not work for the symmetric $$\\lambda \\mu $$- calculus. Electron. Notes Theor. Comput. Sci. 140, 101\u2013111 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"456_CR13","unstructured":"Krivine, J.L.: Lambda-Calculus, Types and Models. Ellis Horwood (1993)"},{"key":"456_CR14","doi-asserted-by":"crossref","unstructured":"Martinelli, F., Bistarelli, S., Cervesato, I., Lenzini, G., Marangoni, R.: Representing Biological Systems Through Multiset Rewriting, In: Moreno Diaz, R., Pichler, F. (Eds.): Computer Aided Systems Theory (EUROCAST\u201903), Lecture Notes in Computer Science 2809, Springer (2004)","DOI":"10.1007\/978-3-540-45210-2_38"},{"key":"456_CR15","unstructured":"Plotkin, G.D.: A Calculus of Chemical Systems, In: Tannen, V., Wong, L., Libkin, L., Fan, W., Tan, WC., Fourman, M. (Eds.): In Search of Elegance in the Theory and Practice of Computation, Lecture Notes in Computer Science, 8000, Springer (2013)"},{"issue":"7","key":"456_CR16","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 $$\\pi $$-calculus. Comput. J. 38(7), 578\u2013589 (1995)","journal-title":"Comput. J."},{"key":"456_CR17","doi-asserted-by":"publisher","unstructured":"Rehof, N.J., S\u00f8rensen, M.H. The $$\\lambda \\Delta $$- calculus. In: Hagiya, M., Mitchell, J.C. (eds) Theoretical Aspects of Computer Software, TACS 1994. Lecture Notes in Computer Science, vol 789. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/3-540-57887-0_113 (1994)","DOI":"10.1007\/3-540-57887-0_113"},{"key":"456_CR18","unstructured":"Troj\u00e1k, M., \u0160afr\u00e1nek, D., Brim, L.: Biochemical Space Language in Relation to Multiset Rewriting Systems, Technical Report (2022) arXiv:2201.08817"},{"key":"456_CR19","doi-asserted-by":"publisher","unstructured":"Troj\u00e1k, M., Samuel, P., \u0160afr\u00e1nek, D., Brim, L.: Regulated Multiset Rewriting Systems, https:\/\/doi.org\/10.48550\/arXiv.2111.13036","DOI":"10.48550\/arXiv.2111.13036"},{"key":"456_CR20","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.entcs.2020.06.006","volume":"350","author":"M Troj\u00e1k","year":"2020","unstructured":"Troj\u00e1k, M., \u0160afr\u00e1nek, D., Brim, L., \u0160nalagovi\u010d, J., \u010cerven\u00fd, J.: Executable biochemical space for specification and analysis of biochemical systems. Electron. Notes Theor. Comput. Sci. 350, 91\u2013116 (2020)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"6","key":"456_CR21","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/j.entcs.2005.07.014","volume":"143","author":"H Xi","year":"2006","unstructured":"Xi, H.: Development separation in lambda-calculus. Electron. Notes Theor. Comput. Sci. 143(6), 207\u2013221 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-024-00456-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00236-024-00456-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-024-00456-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T10:05:16Z","timestamp":1715681116000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00236-024-00456-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,13]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["456"],"URL":"https:\/\/doi.org\/10.1007\/s00236-024-00456-w","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[2024,3,13]]},"assertion":[{"value":"27 August 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 November 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 March 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}