{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:37:42Z","timestamp":1759639062813},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T00:00:00Z","timestamp":1606176000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T00:00:00Z","timestamp":1606176000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Membr Comput"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s41965-020-00064-w","type":"journal-article","created":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T10:19:12Z","timestamp":1606213152000},"page":"311-322","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Solving a PSPACE-complete problem with cP\u00a0systems"],"prefix":"10.1007","volume":"2","author":[{"given":"Alec","family":"Henderson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Nicolescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael J.","family":"Dinneen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,24]]},"reference":[{"issue":"1","key":"64_CR1","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G P\u0103un","year":"2000","unstructured":"P\u0103un, G. (2000). Computing with membranes. Journal of Computer and System Sciences,61(1), 108\u2013143.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"64_CR2","first-page":"75","volume":"6","author":"G P\u0103un","year":"2001","unstructured":"P\u0103un, G. (2001). P systems with active membranes: Attacking NP-complete problems. Journal of Automata, Languages and Combinatorics, 6(1), 75\u201390.","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"64_CR3","unstructured":"Ionescu, M.,\u00a0P\u0103un, G.,&\u00a0Yokomori, T. (2006). Spiking neural P systems. Fundamenta Informaticae 71(2):279\u2013308."},{"issue":"2","key":"64_CR4","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0304-3975(02)00659-X","volume":"296","author":"C Mart\u00edn-Vide","year":"2003","unstructured":"Mart\u00edn-Vide, C., P\u0103un, G., Pazos, J., & Rodr\u00edguez-Pat\u00f3n, A. (2003). Tissue P systems. Theoretical Computer Science,296(2), 295\u2013326.","journal-title":"Theoretical Computer Science"},{"issue":"2\u20133","key":"64_CR5","doi-asserted-by":"publisher","first-page":"157","DOI":"10.3233\/FI-2019-1760","volume":"164","author":"J Cooper","year":"2019","unstructured":"Cooper, J., & Nicolescu, R. (2019). The Hamiltonian cycle and travelling salesman problems in cP systems. Fundamenta Informaticae,164(2\u20133), 157\u2013180.","journal-title":"Fundamenta Informaticae"},{"key":"64_CR6","doi-asserted-by":"crossref","unstructured":"Henderson, A.,&\u00a0Nicolescu, R. (2019). \u201cActor-like cP Systems,\u201d in Membrane Computing, vol.\u00a011399 of Lecture Notes in Computer Science, pp.\u00a0160\u2013187, Springer.","DOI":"10.1007\/978-3-030-12797-8_12"},{"issue":"2","key":"64_CR7","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/s41965-020-00036-0","volume":"2","author":"Y Liu","year":"2020","unstructured":"Liu, Y., Nicolescu, R., & Sun, J. (2020). Formal verification of cP systems using PAT3 and ProB. Journal of Membrane Computing,2(2), 80\u201394.","journal-title":"Journal of Membrane Computing"},{"issue":"2","key":"64_CR8","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s41965-019-00011-4","volume":"1","author":"A Leporati","year":"2019","unstructured":"Leporati, A., Manzoni, L., Mauri, G., Porreca, A., & Zandron, C. (2019). Characterizing PSPACE with shallow non-confluent P systems. Journal of Membrane Computing,1(2), 75\u201384.","journal-title":"Journal of Membrane Computing"},{"issue":"25","key":"64_CR9","doi-asserted-by":"publisher","first-page":"2345","DOI":"10.1016\/j.tcs.2010.01.019","volume":"411","author":"T-O Ishdorj","year":"2010","unstructured":"Ishdorj, T.-O., Leporati, A., Pan, L., Zeng, X., & Zhang, X. (2010). Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources. Theoretical Computer Science,411(25), 2345\u20132358.","journal-title":"Theoretical Computer Science"},{"key":"64_CR10","unstructured":"Leporati, A.,\u00a0Manzoni, L.,\u00a0Mauri, G., Porreca, A.\u00a0E.,&\u00a0Zandron, C. (2019). \u201cSolving QSAT in sublinear depth,\u201d in International Conference on Membrane Computing (T.\u00a0Hinze, G.\u00a0Rozenberg, A.\u00a0Salomaa, and C.\u00a0Zandron, eds.), vol.\u00a011399 of Lecture Notes in Computer Science, pp.\u00a0188\u2013201, Springer."},{"key":"64_CR11","unstructured":"Guti\u00e9rrez-Naranjo, M.\u00a0A., P\u00e9rez-Jim\u00e9nez, M.\u00a0J., & Romero-Campero, F.\u00a0J. (2006). \u201cA Linear Solution for QSAT with Membrane Creation,\u201d in Membrane Computing (R.\u00a0Freund, G.\u00a0P\u0103un, G.\u00a0Rozenberg, and A.\u00a0Salomaa, eds.), vol.\u00a03850 of Lecture Notes in Computer Science, pp.\u00a0241\u2013252, Springer."},{"key":"64_CR12","doi-asserted-by":"crossref","unstructured":"Alhazov, A., & P\u00e9rez-Jim\u00e9nez, M.\u00a0J. (2007). \u201cUniform solution of QSAT using polarizationless active membranes,\u201d in International Conference on Machines, Computations, and Universality (J.\u00a0Durand-Lose and M.\u00a0Margenstern, eds.), vol.\u00a04664 of Lecture Notes in Computer Science, pp.\u00a0122\u2013133, Springer.","DOI":"10.1007\/978-3-540-74593-8_11"},{"key":"64_CR13","doi-asserted-by":"crossref","unstructured":"Nicolescu, R.,&\u00a0Henderson, A. (2018) \u201cAn introduction to cP Systems,\u201d in Enjoying Natural Computing: Essays Dedicated to Mario de Jes\u00fas P\u00e9rez-Jim\u00e9nez on the Occasion of His 70th Birthday (C.\u00a0Graciani, A.\u00a0Riscos-N\u00fa\u00f1ez, G.\u00a0P\u0103un, G.\u00a0Rozenberg, and A.\u00a0Salomaa, eds.), vol.\u00a011270 of Lecture Notes in Computer Science, pp.\u00a0204\u2013227, Springer.","DOI":"10.1007\/978-3-030-00265-7_17"},{"key":"64_CR14","volume-title":"Introduction to the Theory of Computation","author":"M Sipser","year":"2012","unstructured":"Sipser, M. (2012). Introduction to the Theory of Computation. Boston: Cengage Learning."},{"key":"64_CR15","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"AK Chandra","year":"1981","unstructured":"Chandra, A. K., Kozen, D. C., & Stockmeyer, L. J. (1981). Alternation. Journal of ACM, 28, 114\u2013133.","journal-title":"Journal of ACM"},{"key":"64_CR16","unstructured":"Nicolescu, R. (2014). \u201cParallel thinning with complex objects and actors,\u201d in International Conference on Membrane Computing (M.\u00a0Gheorghe, G.\u00a0Rozenberg, A.\u00a0Salomaa, P.\u00a0Sos\u00edk, and C.\u00a0Zandron, eds.), vol.\u00a08961 of Lecture Notes in Computer Science, pp.\u00a0330\u2013354, Springer."}],"container-title":["Journal of Membrane Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-020-00064-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s41965-020-00064-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-020-00064-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,29]],"date-time":"2022-11-29T13:20:07Z","timestamp":1669728007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s41965-020-00064-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,24]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["64"],"URL":"https:\/\/doi.org\/10.1007\/s41965-020-00064-w","relation":{},"ISSN":["2523-8906","2523-8914"],"issn-type":[{"value":"2523-8906","type":"print"},{"value":"2523-8914","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,24]]},"assertion":[{"value":"24 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 October 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 November 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"On behalf of all authors, the corresponding author states that there is no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}