{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T02:45:26Z","timestamp":1785552326752,"version":"3.56.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"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":["J Membr Comput"],"published-print":{"date-parts":[[2023,6]]},"DOI":"10.1007\/s41965-023-00122-z","type":"journal-article","created":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T06:01:56Z","timestamp":1688968916000},"page":"81-99","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Variants of spiking neural P systems and their operational semantics in Haskell"],"prefix":"10.1007","volume":"5","author":[{"given":"Gabriel","family":"Ciobanu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eneia Nicolae","family":"Todoran","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,7,10]]},"reference":[{"issue":"106","key":"122_CR1","first-page":"3","volume":"58","author":"A Alexandru","year":"2015","unstructured":"Alexandru, A., & Ciobanu, G. (2015). Mathematics of multisets in the Fraenkel\u2013Mostowski framework. Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie, 58(106), 3\u201318.","journal-title":"Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie"},{"key":"122_CR2","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-36490-0_2","volume":"2597","author":"F Arroyo","year":"2002","unstructured":"Arroyo, F., Luengo, C., Baranda, A. V., & de Mingo, L. (2002). A software simulation of transition P systems in Haskell. Lecture Notes in Computer Science, 2597, 19\u201332.","journal-title":"Lecture Notes in Computer Science"},{"key":"122_CR3","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/11560319_7","volume":"3699","author":"C Bonchi\u015f","year":"2005","unstructured":"Bonchi\u015f, C., Ciobanu, G., Izba\u015fa, C., & Petcu, D. (2005). A web-based P systems simulator and its parallelization. Lecture Notes in Computer Science, 3699, 58\u201369.","journal-title":"Lecture Notes in Computer Science"},{"issue":"8","key":"122_CR4","doi-asserted-by":"publisher","first-page":"1905","DOI":"10.1007\/s00521-015-1857-4","volume":"26","author":"FG Cabarle","year":"2015","unstructured":"Cabarle, F. G., Adorna, H. N., Perez-Jimenez, M. J., & Song, T. (2015). Spiking neural P systems with structural plasticity. Neural Computing and Applications, 26(8), 1905\u20131917.","journal-title":"Neural Computing and Applications"},{"key":"122_CR5","first-page":"61","volume":"49","author":"G Ciobanu","year":"2002","unstructured":"Ciobanu, G., & Paraschiv, D. (2002). A P system software simulator. Fundamenta Informaticae, 49, 61\u201366.","journal-title":"Fundamenta Informaticae"},{"issue":"3\u20134","key":"122_CR6","doi-asserted-by":"publisher","first-page":"373","DOI":"10.3233\/FI-2014-1020","volume":"131","author":"G Ciobanu","year":"2014","unstructured":"Ciobanu, G., & Todoran, E. N. (2014). Continuation semantics for asynchronous concurrency. Fundamenta Informaticae, 131(3\u20134), 373\u2013388.","journal-title":"Fundamenta Informaticae"},{"key":"122_CR7","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-030-12797-8_9","volume":"11399","author":"G Ciobanu","year":"2019","unstructured":"Ciobanu, G., & Todoran, E. N. (2019). A semantic investigation of spiking neural P systems. Lecture Notes in Computer Science, 11399, 108\u2013130.","journal-title":"Lecture Notes in Computer Science"},{"key":"122_CR8","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/j.ins.2022.03.096","volume":"604","author":"G Ciobanu","year":"2022","unstructured":"Ciobanu, G., & Todoran, E. N. (2022). A process calculus for spiking neural P systems. Information Sciences, 604, 298\u2013319.","journal-title":"Information Sciences"},{"issue":"1","key":"122_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s11047-022-09897-z","volume":"22","author":"G Ciobanu","year":"2023","unstructured":"Ciobanu, G., & Todoran, E. N. (2023). Spiking neural P systems and their semantics in Haskell. Natural Computing, 22(1), 41\u201354","journal-title":"Natural Computing"},{"key":"122_CR10","doi-asserted-by":"crossref","unstructured":"Ciobanu, G., & Todoran, E. N. (2022). Variants of spiking neural P systems and their operational semantics in Haskell. In 23rd Int\u2019l Conference on Membrane Computing, CMC","DOI":"10.1007\/s41965-023-00122-z"},{"key":"122_CR11","volume-title":"Control flow semantics","author":"JW de Bakker","year":"1996","unstructured":"de Bakker, J. W., & de Vink, E. P. (1996). Control flow semantics. MIT Press."},{"issue":"1","key":"122_CR12","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s41965-022-00092-8","volume":"4","author":"AG Dupaya","year":"2022","unstructured":"Dupaya, A. G., Galano, A. C., Cabarle, F. G., de la Cruz, R. T., Ballesteros, K. J., & Lazo, P. P. (2022). A web-based visual simulator for spiking neural P systems. Journal of Membrane Computing, 4(1), 21\u201340.","journal-title":"Journal of Membrane Computing"},{"key":"122_CR13","doi-asserted-by":"publisher","first-page":"7011","DOI":"10.3390\/app10207011","volume":"10","author":"S Fan","year":"2020","unstructured":"Fan, S., Paul, P., Wu, T., Rong, H., & Zhang, G. (2020). On applications of spiking neural P systems. Applied Sciences, 10, 7011.","journal-title":"Applied Sciences"},{"key":"122_CR14","doi-asserted-by":"publisher","first-page":"234","DOI":"10.15837\/ijccc.2009.3.2431","volume":"4","author":"M Garc\u00eda-Quismondo","year":"2009","unstructured":"Garc\u00eda-Quismondo, M., Guti\u00e9rrez-Escudero, R., Mart\u00ednez-del-Amor, M. A., Orejuela-Pinedo, E., & P\u00e9rez-Hurtado, I. (2009). P-Lingua 2.0: A software framework for cell-like P systems. International Journal of Computers Communication & Control, 4, 234\u2013243.","journal-title":"International Journal of Computers Communication & Control"},{"key":"122_CR15","first-page":"279","volume":"71","author":"M Ionescu","year":"2006","unstructured":"Ionescu, M., P\u0103un, G., & Yokomori, T. (2006). Spiking neural P systems. Fundamenta Informaticae, 71, 279\u2013308.","journal-title":"Fundamenta Informaticae"},{"key":"122_CR16","doi-asserted-by":"publisher","first-page":"647","DOI":"10.15837\/ijccc.2011.4.2092","volume":"6","author":"M Ionescu","year":"2011","unstructured":"Ionescu, M., P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M. J., & Rodriguez-Pat\u00f3n, A. (2011). Spiking neural P systems with several types of spikes. International Journal of Computers & Control, 6, 647\u2013655.","journal-title":"International Journal of Computers & Control"},{"key":"122_CR17","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-642-28024-5_18","volume":"7184","author":"LF Mac\u00edas-Ramos","year":"2012","unstructured":"Mac\u00edas-Ramos, L. F., P\u00e9rez-Hurtado, I., Garc\u00eda-Quismondo, M., Valencia-Cabrera, L., P\u00e9rez-Jim\u00e9nez, M. J., & Riscos-N\u00fa\u00f1ez, A. (2012). A P-Lingua based simulator for spiking neural P systems. Lecture Notes in Computer Science, 7184, 257\u2013281.","journal-title":"Lecture Notes in Computer Science"},{"key":"122_CR18","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/j.jlap.2010.03.009","volume":"79","author":"MA Mart\u00ednez-del-Amor","year":"2010","unstructured":"Mart\u00ednez-del-Amor, M. A., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M. J., & Riscos-N\u00fa\u00f1ez, A. (2010). A P-Lingua based simulator for tissue P systems. Journal of Logic and Algebraic Programming, 79, 374\u2013382.","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"8","key":"122_CR19","doi-asserted-by":"publisher","first-page":"1750042","DOI":"10.1142\/S0129065717500423","volume":"27","author":"L Pan","year":"2017","unstructured":"Pan, L., P\u0103un, Gh., Zhang, G., & Neri, F. (2017). Spiking neural P systems with communication on request. International Journal of Neural Systems, 27(8), 1750042.","journal-title":"International Journal of Neural Systems"},{"key":"122_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane computing. An introduction","author":"Gh P\u0103un","year":"2002","unstructured":"P\u0103un, Gh. (2002). Membrane computing. An introduction. Springer."},{"key":"122_CR21","volume-title":"Handbook of membrane computing","year":"2010","unstructured":"P\u0103un, G., Rozenberg, G., & Salomaa, A. (Eds.). (2010). Handbook of membrane computing. Oxford University Press."},{"key":"122_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2019.105064","volume":"188","author":"H Peng","year":"2020","unstructured":"Peng, H., Li, B., Wang, J., Song, X., Wang, T., Valencia-Cabrera, L., Perez-Hurtado, I., Riscos-Nunez, A., & Perez-Jimenez, M. J. (2020). Spiking neural P systems with inhibitory rules. Knowledge-Based Systems, 188, 105064.","journal-title":"Knowledge-Based Systems"},{"key":"122_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ins.2021.12.003","volume":"587","author":"I P\u00e9rez-Hurtado","year":"2022","unstructured":"P\u00e9rez-Hurtado, I., Orellana-Mart\u00edn, D., Mart\u00ednez-del-Amor, M. A., Valencia-Cabrera, L., & Riscos-N\u00fa\u00f1ez, A. (2022). A new P-Lingua toolkit for agile development in membrane computing. Information Sciences, 587, 1\u201322.","journal-title":"Information Sciences"},{"key":"122_CR24","first-page":"17","volume":"60\u201361","author":"G Plotkin","year":"2004","unstructured":"Plotkin, G. (2004). A structural approach to operational semantics. Journal of Logic and Algebraic Programming, 60\u201361, 17\u2013139.","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"122_CR25","volume-title":"Handbook of formal languages","year":"1998","unstructured":"Rozenberg, G., & Salomaa, A. (Eds.). (1998). Handbook of formal languages (Vol. 3). Springer."},{"key":"122_CR26","volume-title":"Denotational semantics: A methodology for language development","author":"DA Schmidt","year":"1986","unstructured":"Schmidt, D. A. (1986). Denotational semantics: A methodology for language development. Allyn & Bacon."},{"key":"122_CR27","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/j.tcs.2014.01.001","volume":"529","author":"T Song","year":"2014","unstructured":"Song, T., Pan, L., & P\u0103un, Gh. (2014). Spiking neural P systems with rules on synapses. Theoretical Computer Science, 529, 82\u201395.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"122_CR28","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1109\/TNB.2019.2896981","volume":"18","author":"T Song","year":"2019","unstructured":"Song, T., Pan, L., Wu, T., Zheng, P., Wong, M. L. D., & Rodr\u00edguez-Pat\u00f3n, A. (2019). Spiking neural P systems with learning functions. IEEE Transactions on Nanobioscience, 18(2), 176\u2013190.","journal-title":"IEEE Transactions on Nanobioscience"},{"issue":"1","key":"122_CR29","doi-asserted-by":"publisher","first-page":"2050042","DOI":"10.1142\/S0129065720500422","volume":"31","author":"X Song","year":"2021","unstructured":"Song, X., Valencia-Cabrera, L., Peng, H., Wang, J., & P\u00e9rez-Jim\u00e9nez, M. J. (2021). Spiking neural P systems with delay on synapses. International Journal of Neural Systems, 31(1), 2050042.","journal-title":"International Journal of Neural Systems"},{"key":"122_CR30","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S1571-0661(05)80632-2","volume":"28","author":"EN Todoran","year":"2000","unstructured":"Todoran, E. N. (2000). Metric semantics for synchronous and asynchronous communication: A continuation-based approach. Electronic Notes in Theoretical Computer Science, 28, 101\u2013127.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"4","key":"122_CR31","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s41965-020-00050-2","volume":"2","author":"S Verlan","year":"2020","unstructured":"Verlan, S., Freund, R., Alhazov, A., Ivanov, S., & Pan, L. (2020). A formal framework for spiking neural P systems. Journal of Membrane Computing, 2(4), 355\u2013368.","journal-title":"Journal of Membrane Computing"},{"key":"122_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-16-1566-5","volume-title":"Membrane computing models: Implementations","author":"G Zhang","year":"2021","unstructured":"Zhang, G., P\u00e9rez-Jim\u00e9nez, M. J., Riscos-N\u00fa\u00f1ez, A., Verlan, S., Konur, S., Hinze, T., & Gheorghe, M. (2021). Membrane computing models: Implementations. Springer."},{"key":"122_CR33","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.tcs.2022.02.025","volume":"920","author":"N Zhou","year":"2022","unstructured":"Zhou, N., Peng, H., Wang, J., Yang, Q., & Luo, X. (2022). Computational completeness of spiking neural P systems with inhibitory rules for generating string languages. Theoretical Computer Science, 920, 64\u201375.","journal-title":"Theoretical Computer Science"},{"key":"122_CR34","unstructured":"(2023). Haskell implementation of the operational semantics presented in this paper http:\/\/ftp.utcluj.ro\/pub\/users\/gc\/eneia\/jmc2023"}],"container-title":["Journal of Membrane Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-023-00122-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s41965-023-00122-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-023-00122-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,21]],"date-time":"2023-07-21T16:02:35Z","timestamp":1689955355000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s41965-023-00122-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,6]]}},"alternative-id":["122"],"URL":"https:\/\/doi.org\/10.1007\/s41965-023-00122-z","relation":{},"ISSN":["2523-8906","2523-8914"],"issn-type":[{"value":"2523-8906","type":"print"},{"value":"2523-8914","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6]]},"assertion":[{"value":"1 February 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 April 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 July 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}