A formal framework for static (tissue) P systems

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

Volumn 4860 LNCS, Issue , 2007, Pages 271-284

  Freund, Rudolf ^a   Verlan, Sergey ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

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

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BIOLOGICAL MEMBRANES; COMPUTATIONAL METHODS;

DERIVATION MODES; STATIC MEMBRANE SYSTEMS;

TISSUE ENGINEERING;

EID: 38749128786     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77312-2_17     Document Type: Conference Paper

References (20)

1. Alhazov, A., Freund, R., Oswald, M., Verlan, S.: Partial versus total halting in P systems. In: Gutiérrez-Naranjo, M.A., Pǎun, G., Romero-Jiménez, A., Riscos-Núñez, A. (eds.) Proc. Fifth Brainstorming Week on Membrane Computing, Sevilla, pp. 1-20 (2007)
2. Andrei, O., Ciobanu, G., Lucanu, D.: A rewriting logic framework for operational semantics of membrane systems. Theoretical Computer Science 373(3), 163-181 (2007)
3. Bernardini, F., Gheorghe, M., Margenstern, M., Verlan, S.: Networks of Cells and Petri Nets. In: Gutiérrez-Naranjo, M.A., Pǎun, G., Romero-Jiménez, A., Riscos-Núñez, A. (eds.) Proc. Fifth Brainstorming Week on Membrane Computing, Sevilla, pp. 33-62 (2007)
4. Ciobanu, G., Andrei, O., Lucanu, D.: Structural operational semantics of P systems. In: [9], 1-23
5. Ciobanu, G., Pan, L., Pǎun, G., Pérez-Jiménez, M.J.: P systems with minimal parallelism. Theoretical Computer Science 378(1), 117-130 (2007)
6. Csuhaj-Varjú, E., Kari, L., Pǎun, G.: Test tube distributed systems based on splicing. Computers and AI 15(2-3), 211-232 (1996)
7. Csuhaj-Varjú, E.: Networks of Language Processors. Current Trends in Theoretical Computer Science, 771-790 (2001)
8. Dassow, J., Pǎun, G.: On the power of membrane computing. Journal of Universal Computer Science 5(2), 33-49 (1999)
9. Freund, R., Lojka, G., Oswald, M.: Gh. Pǎun (Eds.): WMC 2006. Pre-Proceedings of Sixth International Workshop on Membrane Computing, Vienna (June 18-21, 2005)
10. Freund, R., Oswald, M.: P systems with partial halting (accepted, 2007)
11. Freund, R., Pǎun, G., Pérez-Jiménez, M.J.: Tissue-like P systems with channel states. Theoretical Computer Science 330, 101-116 (2005)
12. Kleijn, J., Koutny, M., Rozenberg, G.: Towards a Petri net semantics for membrane systems, In: [9] 439-460
13. Pǎun, A., Pǎun, G.: The power of communication: P systems with symport/ antiport. New Generation Computing 20(3), 295-306 (2002)
14. Pǎun, G.: Computing with membranes. J. of Computer and System Sciences 61, 108-143 (2000), TUCS Research Report 208 (1998), http://www.tucs.fi
15. Pǎun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)
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.) WMC 2005. LNCS, vol. 3850, pp. 1-30. Springer, Heidelberg (2006)
17. Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 3, Springer, Berlin (1997)
18. Pǎun, G., Sakakibara, Y., Yokomori, T.: P systems on graphs of restricted forms. Publicationes Matimaticae 60 (2002)
19. Pǎun, G., Yokomori, T.: Membrane computing based on splicing. In: Winfree, E., Gifford, D.K. (eds.) DNA Based Computers V. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 54, pp. 217-232. American Mathematical Society, Providence, RI (1999)
20. The P Systems Web Page: http://psystems.disco.unimib.it