Membrane Systems with Marked Membranes

Electronic Notes in Theoretical Computer Science

Volumn 171, Issue 2 SPEC. ISS., 2007, Pages 25-36

  Brijder, Robert ^a   Cavaliere, Matteo ^b,c   Riscos Núñez, Agustín ^b   Rozenberg, Grzegorz ^a   Sburlan, Dragoş ^b,d  

^a LEIDEN UNIVERSITY   (Netherlands)

^b UNIVERSITY OF SEVILLE   (Spain)

^c UNIVERSITY OF TRENTO   (Italy)

^d OVIDIUS UNIVERSITY   (Romania)

Author keywords

Brane Calculi; Membrane Computing

Indexed keywords

BIOLOGICAL MEMBRANES; COMPUTER PROGRAMMING LANGUAGES; DECISION MAKING; PROTEINS; VECTORS;

BOUNDNESS; BRANE CALCULI; CELLULAR DRIPPING; PINOCYTOSIS;

UBIQUITOUS COMPUTING;

EID: 34250835591     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.05.005     Document Type: Article

References (15)

1. R. Brijder, M. Cavaliere, A. Riscos-Núñez, G. Rozenberg, D. Sburlan, Membrane Systems with Proteins Embedded in Membranes. Submitted.
2. N. Busi, R. Gorrieri, On the Computational Power of Brane Calculi. Proceedings Third Workshop on Computational Methods in Systems Biology. Edinburgh, 2005.
3. Cardelli L. Brane Calculi. Interactions of Biological Membranes. In: Danos V., and Schächter V. (Eds). Proceedings Computational Methods in System Biology 2004. Lecture Notes in Computer Science 3082 (2005), Springer-Verlag, Berlin 257-278
4. L. Cardelli, Gh. Pǎun, An Universality Result for a (Mem)Brane Calculus Based on Mate/Drip Operations. Proceedings of the ESF Exploratory Workshop on Cellular Computing (Complexity Aspects), (M.A. Gutiérrez-Naranjo, Gh. Pǎun, M.J. Pérez-Jiménez, eds.), Fénix Ed., Seville, Spain, pp. 75-94
5. The proceedings can be found at the address. http://www.gcn.us.es/
6. Cavaliere M., and Sburlan D. Time-Independent P Systems. In: Mauri G., Pǎun Gh., Pérez-Jiménez M.J., Rozenberg G., and Salomaa A. (Eds). Membrane Computing, 5th International Workshop, WMC2004. Lecture Notes in Computer Science 3365 (2005), Springer-Verlag, Berlin 239-258
7. Danos V., and Pradalier S. Projective Brane Calculus. In: Danos V., and Schächter V. (Eds). Proceedings Computational Methods in System Biology 2004. Lecture Notes in Computer Science 3082 (2005), Springer-Verlag, Berlin 134-148
8. Dassow J., and Pǎun Gh. Regulated Rewriting in Formal Language Theory (1989), Springer-Verlag, Berlin
9. Hopcroft J.E., and Ullman J.D. Introduction to Automata Theory, Languages, and Computation (1979), Addison-Wesley
10. H. Lodish, A. Berk, S.L. Zipursky, P. Matsudaira, D. Baltimore, J. Darnell, Molecular Cell Biology. Freeman, Fifth Edition.
11. Gh. Pǎun, Computing with Membranes. Journal of Computer and System Sciences, 61, 1 (2000), pp. 108-143. First circulated as TUCS Research Report No 28, 1998.
12. Pǎun Gh. Membrane Computing - An Introduction (2002), Springer-Verlag, Berlin
13. In: Rozenberg G., and Salomaa A. (Eds). Handbook of Formal Languages (1997), Springer-Verlag, Berlin
14. Salomaa A. Formal Languages (1973), Academic Press, New York
15. http://psystems.disco.unimib.it