An universality result for a (MEM)brane calculus based on mate/drip operations

International Journal of Foundations of Computer Science

Volumn 17, Issue 1, 2006, Pages 49-68

  Cardelli, Luca ^a   Pǎun, Gheorghe ^b,c  

^a MICROSOFT RESEARCH   (United Kingdom)

^b INSTITUTE OF MATHEMATICS   (Romania)

^c UNIVERSITY OF SEVILLE   (Spain)

Author keywords

Brane calculi; Matrix grammar; Membrane computing; Universality

Indexed keywords

EID: 33746190595     PISSN: 01290541     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129054106003693     Document Type: Article

References (10)

1. N. Busi, R. Gorrieri, On the computational power of brane calculi. Third Workshop on Computational Methods in Systems Biology, Edinburgh, 2005.
2. L. Cardelli, Brane calculi - interactions of biological membranes. In Computational Methods in Systems Biology. International Conference CMSB 2004, Paris, France, May 2004, Revised Selected Papers. Lecture Notes in Computer Science, 3082, Springer-Verlag, Berlin, 2005, 257-280.
3. J. Dassow, Gh. Pǎun, Regulated Rewriting in Formal Language Theory. Springer-Verlag, Berlin, 1989.
4. J. Dassow, Gh. Pǎun, A. Salomaa, Grammars with controlled derivations. Chapter 3 in vol. 2 of Handbook of Formal Languages (G. Rozenberg, A. Salomaa, eds.), Springer-Verlag, Berlin, 1997, 101-154.
5. S.A. Greibach, Remarks on blind and partially blind one-way multicounter machines. Theoretical Computer Science, 7 (1978), 311-324.
6. M. Harrison, Introduction to Formal Language Theory. Addison-Wesley, Reading, MA, 1978.
7. Gh. Pǎun, Computing with membranes. Journal of Computer and System Sciences, 61, 1 (2000), 108-143 (and Turku Center for Computer Science-TUCS Report 208, November 1998, www.tucs.fi).
8. Gh. Pǎun, Membrane Computing. An Introduction. Springer-Verlag, Berlin, 2002.
9. A. Salomaa, Formal Languages: Academic Press, New York, 1973.
10. The membrane computing web page: http://psystems.disco.unimib.it.