Two Universality Results for (Mem)Brane Systems

1 Dipartimento di Informatica e Comunicazione Universita degli Studi di Milano Via Comelico 39, 20135 Milano, Italy besozzi@dico.unimi.it 2 Dipartimento di Scienze dell’Informazione, Universita di Bologna Mura A. Zamboni 7, 40127 Bologna, Italy busi@cs.unibo.it 3 Department of Computer Science, University of Verona strada Le Grazie, 15, 37134 Verona, Italy franco@sci.univr.it 4 Faculty of Informatics, Vienna University of Technology Favoritenstr. 9-11, 1040 Vienna, Austria rudi@emcc.at 5 Institute of Mathematics of the Romanian Academy PO Box 1-764, 014700 Bucharest, Romania, and Department of Computer Science and AI, University of Sevilla Avda Reina Mercedes s/n, 41012 Sevilla, Spain george.paun@imar.ro, gpaun@us.es

[1]  Luca Cardelli,et al.  Brane Calculi , 2004, CMSB.

[2]  Grzegorz Rozenberg,et al.  Membrane Systems with Marked Membranes , 2007, Electron. Notes Theor. Comput. Sci..

[3]  Gheorghe Păun.  One More Universality Result for P Systems with Objects on Membranes , 2006, Int. J. Comput. Commun. Control.

[4]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[5]  Nadia Busi,et al.  On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism , 2005, Workshop on Membrane Computing.

[6]  Andrei Paun,et al.  P Systems with Proteins on Membranes , 2006, Fundam. Informaticae.

[7]  Roberto Gorrieri,et al.  On the Computational Power of Brane Calculi , 2006, Trans. Comp. Sys. Biology.

[8]  Luca Cardelli,et al.  Brane Calculi Interactions of Biological Membranes , 2004 .

[9]  L. Cardelli,et al.  Interactions of Biological Membranes , 2005 .

[10]  Marvin Minsky,et al.  Computation : finite and infinite machines , 2016 .

[11]  Vincent Danos,et al.  Projective Brane Calculus , 2004, CMSB.

[12]  Luca Cardelli,et al.  An universality result for a (mem)brane calculus based on mate/drip operations , 2006, Int. J. Found. Comput. Sci..