Computational completeness of tissue P systems with conditional uniport

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4361 LNCS, Issue , 2006, Pages 521-535

  Verlan, Sergey ^a   Bernardini, Francesco ^b   Gheorghe, Marian ^c   Margenstern, Maurice ^d  

^a UNIVERSITÉ PARIS EST CRÉTEIL   (France)

^b LEIDEN UNIVERSITY   (Netherlands)

^c UNIVERSITY OF SHEFFIELD   (United Kingdom)

^d UNIVERSITÉ DE LORRAINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLETENESS; NATURAL NUMBER; RECURSIVELY ENUMERABLE SETS; REGISTER MACHINES; TISSUE P SYSTEMS;

TISSUE;

BIOINFORMATICS;

EID: 84876578966     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11963516_33     Document Type: Conference Paper

References (19)

1. Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: The Molecular Biology of the Cell. 4th edn., Garland Publ. Inc., London, 2002.
2. Alhazov, A., Rogozhin, Y., Verlan, S.: Symport/Antiport Tissue P Systems with Minimal Cooperation. In Proceedings of the ESF Exploratory W orkshop on Cel lul ar Computing (Complexity Aspects), Sevilla, Spain, 2005, 37-52.
3. Bernardini, F., Gheorghe, M.: Cell Communication in Tissue P Systems: Universality Results. Soft Computing, 9 (2005), 640-649. (Pubitemid 41001578)
4. Bernardini, F., Gheorghe, M., Krasnogor, N., Giavitto, J.L.: On Self-Assembly in Population P Systems. In Calude, C., Dinneen, M., Pǎun, G., Pérez-Jiménez, M.J., Rozenberg, G., eds.: Uncoventional Computation. 4th International Conference, UC 2005, Sevilla, Spain, October 2005, LNCS 3365, Springer, 2005, 46-57. (Pubitemid 41508778)
5. Csuhaj-Varjú, E., Vaszil, G.: P Automata or Purely Communicative Accepting P Systems. In Pǎun, G., Rozenberg, G., Salomaa, A., Zandron, C., eds.: Membrane Computing. International Workshop, WMC-CdeA 02, Curtea de Argeş, Romania, August 19-23, 2002, LNCS 2597, Springer, 2003, 219-233.
6. Freund, R., Oswald, M.: P Systems with Activated/Prohibited Membrane Channels. In Pǎun, G., Rozenberg, G., Salomaa, A., Zandron, C., eds.: Membrane Computing. International Workshop, WMC-CdeA 02, Curtea de Argeş, Romania, August 19-23, 2002, LNCS 2597, Springer, 2003, 261-269.
7. Gheorghe, M., Pǎun, G.: Computing by Self-Assembly: DNA Molecules, Polynominoes, Cells. In Krasnogor, N., Gustafson, S., Pelta, D., Verdegay, J.L., eds.: Systems Self-Assembly: Multidisciplinary Snapshots. Studies in Multidisciplinarity, Elsevier, 2006 (in press).
8. Goles, E., Margenstern, M.: Universality of the Chip-Firing Game. Theoretical Computer Science, 172 (1997), 91-120.
9. Margenstern, M.: Two Railway Circuits: a Universal Circuit and an NP-difficult one. Computer Science Journal of Moldova, 9 (2001), 3-33.
10. Martín-Vide, C., Pǎun, G., Rozenberg, G.: Membrane Systems with Carriers. Theoretical Computer Science, 270 (2002), 779-796. (Pubitemid 33142254)
11. Minsky, M.: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs, New Jersey, 1967.
12. Pǎun, A., Pǎun, G.: The Power of Communication: P Systems with Symport/Antiport. New Generation Computing, 20 (2002), 295-305. (Pubitemid 34777523)
13. Pǎun, G.: Computing with Membranes. Journal of Computer and System Sciences, 61 (2000), 108-143.
14. Pǎun, G.: Membrane Computing. An Introduction. Springer, Berlin, 2002.
15. Reisig, W.: Petri Nets. An Introduction. Springer, Berlin, 1985.
16. Rogozhin, Y., Alhazov, A., Freund, R.: Computational Power of Symport/Antiport: History, Advances and Open Problems. In Freund, R., Pǎun, G., Rozenberg, G., Salomaa, A., eds.: Membrane Computing. International Workshop, WMC6, Vienna, Austria, LNCS 3850, Springer, 2006, 1-31.
17. Rozenberg, G., Salomaa, A., eds.: Handbook of Formal Languages. Volume 1-3. Springer, 1997.
18. Toffoli, T., Margolus, N.: Cellular Automata Machines. The MIT Press, Cambridge, Mass., 1987.
19. The P Systems Web Page: http://psystems.disco.unimib.it