{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:12:41Z","timestamp":1759637561263},"reference-count":11,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2006,2]]},"abstract":"<jats:p> Membrane systems (currently called P systems) are parallel computing devices inspired by the structure and the functioning of living cells. A standard feature of P systems is that each rule is executed in exactly one time unit. Actually, in living cells different chemical reactions might take different times to be executed; moreover, it might be hard to know precisely such time of execution. For this reason, in [7] two models of P systems (time-free and clock-free P systems) have been defined and investigated, where the time of execution of the rules is arbitrary and the output produced by the system is always the same, independently of this time. Preliminary results concerning time-free and clock-free P system have been obtained in [6, 7, 8]. In this paper we continue these investigations by considering different combinations of possible ingredients. In particular, we present the universality of time-free P systems using bi-stable catalysts. Then, we prove that this result implies that is not possible to decide whether an arbitrary bi-stable catalytic P system is time-free. We present several results about time-free evolution-communication P systems, where the computation is a mixed application of evolution and symport\/antiport rules. In this case we obtain the universality even by using non-cooperative evolution rules and antiports of weight one. Finally, we formulate several open problems. <\/jats:p>","DOI":"10.1142\/s012905410600370x","type":"journal-article","created":{"date-parts":[[2006,2,9]],"date-time":"2006-02-09T10:25:16Z","timestamp":1139480716000},"page":"69-89","source":"Crossref","is-referenced-by-count":10,"title":["FURTHER RESULTS ON TIME-FREE P SYSTEMS"],"prefix":"10.1142","volume":"17","author":[{"given":"MATTEO","family":"CAVALIERE","sequence":"first","affiliation":[{"name":"Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s\/n, 41012 Sevilla, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"VINCENZO","family":"DEUFEMIA","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Salerno, Via Ponte don Melillo, 84084 Fisciano(SA), Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037283"},{"key":"rf3","volume-title":"Parallel and Distributed Computation: Numerical Methods","author":"Bertsekas D. P.","year":"1989"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-002-0090-7"},{"key":"rf8","first-page":"53","volume":"64","author":"Cavaliere M.","journal-title":"Fundamenta Informaticae"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-74932-2"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.06.029"},{"key":"rf11","volume-title":"An Introduction to the Theory of Computation","author":"Gurari E.","year":"1989"},{"key":"rf12","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft J. E.","year":"1979"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037288"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59126-6"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S012905410600370X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T00:40:58Z","timestamp":1565138458000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S012905410600370X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":11,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2006,2]]}},"alternative-id":["10.1142\/S012905410600370X"],"URL":"https:\/\/doi.org\/10.1142\/s012905410600370x","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,2]]}}}