A formalization of membrane systems with dynamically evolving structures

References

• Alhazov , A. , Oswald , M. , Freund , R. and Verlan , S. 2009 . Partial halting and minimal parallelism based on arbitrary rule partitions . Fund. Inform. , 91 ( 1 ) : 17 – 34 .
   Google Scholar
• Cardona , M. , Colomer , M. A. , Margalida , A. , Pérez-Hurtado , I. , Pérez-Jiménez , M. J. and Sanuy , D. 2010 . A P system based model of an ecosystem of some scavenger birds . Lect. Notes Comput. Sci. , 5957 : 182 – 195 . (doi:10.1007/978-3-642-11467-0_14)
   Google Scholar
• Freund , R. and Haberstroh , B. 1991 . Attributed elementary programmed graph grammars . Lect. Notes Comput. Sci. , 570 : 75 – 84 . (doi:10.1007/3-540-55121-2_7)
   Google Scholar
• Freund , R. , Pérez-Hurtado , I. , Riscos-Núñez , A. and Verlan , S. A formal framework for P systems with dynamic structure . Tenth Brainstorming Week on Membrane Computing Sevilla . January 30–February 3 2012 . Edited by: Martínez-del-Amor , M. A. , Păun , Gh. , Pérez-Hurtado , I. and Romero-Campero , F. J. Vol. I , pp. 111 – 122 . Sevilla : Fénix Editora .
   Google Scholar
• Freund , R. and Verlan , S. 2007 . A formal framework for static (Tissue) P systems . Lect. Notes Comput. Sci. , 4860 : 271 – 284 . (doi:10.1007/978-3-540-77312-2_17)
   Google Scholar
• Freund , R. and Verlan , S. 2011 . (Tissue) P systems working in the k-restricted minimally or maximally parallel transition mode . Nat. Comput. , 10 ( 2 ) : 821 – 833 . (doi:10.1007/s11047-010-9215-z)
   Google Scholar
• García-Quismondo , M. , Gutiérrez-Escudero , R. , Pérez-Hurtado , I. , Pérez-Jiménez , M. J. and Riscos-Núñez , A. 2010 . An overview of P-Lingua 2.0 . Lect. Notes Comput. Sci. , 5957 : 264 – 288 . (doi:10.1007/978-3-642-11467-0_20)
   Google Scholar
• Gheorghe , M. , Ipate , F. and Dragomir , C. A kernel P system . Tenth Brainstorming Week on Membrane Computing Sevilla . January 30–February 3 2012 . Edited by: Martínez-del-Amor , M. A. , Păun , Gh. , Pérez-Hurtado , I. and Romero-Campero , F. J. Vol. I , pp. 153 – 170 . Sevilla : Fénix Editora .
   Google Scholar
• Martínez-del-Amor , M. A. , Pérez-Hurtado , I. , Pérez-Jiménez , M. J. and Riscos-Núñez , A. 2010 . A P-lingua based simulator for tissue P systems . J. Log. Algebr. Program. , 79 : 374 – 382 . (doi:10.1016/j.jlap.2010.03.009)
   Google Scholar
• Păun , Gh. 2002 . Membrane Computing. An Introduction , Berlin : Springer-Verlag .
   Google Scholar
• Păun , Gh. , Rozenberg , G. and Salomaa , A. 2010 . The Oxford Handbook Of Membrane Computing , Edited by: Păun , Gh. , Rozenberg , G. and Salomaa , A. New York : Oxford University Press .
   Google Scholar
• Rozenberg , G. and Salomaa , A. 1997 . Handbook of Formal Languages , Edited by: Rozenberg , G. and Salomaa , A. New York : Springer-Verlag .
   Google Scholar
• The Membrane Computing Web Page: http://ppage.psystems.eu.
   Google Scholar
• The P-Lingua web page: http://www.p-lingua.org.
   Google Scholar