Computing with membranes

Journal of Computer and System Sciences

Volumn 61, Issue 1, 2000, Pages 108-143

  Paun, Gheorghe ^a  

^a INSTITUTE OF MATHEMATICS   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL GRAMMARS; DATA STRUCTURES; MATHEMATICAL MODELS; STRUCTURAL ANALYSIS;

CELL-LIKE MEMBRANES; VENN DIAGRAMS;

COMPUTATIONAL GEOMETRY;

EID: 0034248380     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1006/jcss.1999.1693     Document Type: Article

References (36)

1. Adleman L. M. On constructing a molecular computer. Lipton R. J., Baum E. B. DNA Based Computers. Proc. of a DIMACS Workshop, Princeton, 1995. 1996;1-22 Amer. Math. Soc. Providence.
2. Amos M. DNA Computing. 1997;Univ. of WarwickDept. of Computer Sci.
3. Banâtre J. P., Coutant A., Le Metayer D. A parallel machine for multiset transformations and its programming style. Future Gener. Comput. Systems. 4:1988;133-144.
4. Berry G., Boudol G. The chemical abstract machine. Theoret. Comput. Sci. 96:1992;217-248.
5. Cardelli L. Abstractions for mobile computation. Vitek J., Jensen Ch. Secure Internet Programming. Lecture Notes in Computer Science. 1603:1999;Springer-Verlag, Berlin.
6. Cardelli L., Gordon A. Mobile ambients. Nivat M. Proceedings of FoSSaCS'98. Lecture Notes in Computer Science. 1378:1998;140-155 Springer-Verlag, Berlin.
7. Csuhaj-Varju E., Dassow J., Kelemen J., Paun Ch. Grammar Systems. A Grammatical Approach to Distribution and Cooperation. 1994;Gordon and Breach, London.
8. Csuhaj-Varju E., Kelemen J., Paun Ch. Grammar systems with WAVE-like communication. Comput. Artificial Intelligence. 15:1996;419-436.
9. Csuhaj-Varju E., Salomaa A. Networks of parallel language processors. Paun Gh., Salomaa A. New Trends in Formal Languages. Control, Cooperation, Combinatorics. Lecture Notes in Computer Science. 1218:1997;299-318 Springer-Verlag, Berlin.
10. Csuhaj-Varju E., Vaszil G. On the computational completeness of context-free PC grammar systems. Theoret. Comput. Sci. 215:1999;348-358.
11. Dassow J., Paun Gh. Regulated Rewriting in Formal Language Theory. 1989;Springer-Verlag, Berlin.
12. Dassow J., Paun Gh. On the power of membrane computing. J. Universal Comput. Sci. 5:1999;33-49.
13. Freund F. Generalized P systems. Ciobanu G., Paun Gh. Proc. of FCT'99. Lecture Notes in Computer Science. 1684:1999;Springer-Verlag, Berlin.
14. Hauschildt D., Jantzen M. Petri nets algorithm in the theory of matrix grammars. Acta Inform. 31:1994;719-728.
15. Head T. Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. Bull. Math. Biology. 49:1987;737-759.
16. Ilie L., Salomaa A. 2-testability and relabeling procedure everything. J. Comput. System Sci. 56:1998;253-262.
17. Lipton R. J. Speeding up computations via molecular biology. Lipton R. J., Baum E. B. DNA Based Computers. Proc. of a DIMACS Workshop, Princeton, 1995. 1996;67-74 ProvidenceAmer. Math. Soc.
18. M. Maliţa, Membrane computing in Prolog, manuscript, 1999.
19. Manca V. String rewriting and metabolism: A logical perspective. Paun Gh. Computing with Bio-Molecules. Theory and Experiments. 1998;36-60 Springer-Verlag, Berlin/New York.
20. Gh. Paun, Computing with membranes. A variant, submitted, 1999. [Auckland University, CDMTCS Report 098, 1999 (, www.cs.auckland.ac.nz/CDMTCS , )].
21. Ch. Paun, P systems with active membranes: Attacking NP complete problems, J. Automat. Languages Combin, to appear. [Auckland University, CDMTCS Report 102, 1999 (, www.cs. auckland.ac.nz/CDMTCS , )].
22. Paun Gh., Rozenberg G., Salomaa A. DNA Computing. New Computing Paradigms. 1998;Springer-Verlag, Berlin/New York.
23. Gh. Paun, G. Rozenberg, and, A. Salomaa, Membrane computing with external output, submitted, 1999. [Turku Center for Computer Science, TUCS Report 218, 1988 (, www.tucs.fi , )].
24. Gh. Paun, G. Rozenberg, and, A. Salomaa, Membrane computing with external output, submitted, 1999. [Turku Center for Computer Science, TUCS Report 218, 1988 (, www.tucs.fi , )].
25. Gh. Paun, Y. Sakakibara, and, T. Yokomori, P systems on graphs of restricted forms, submitted, 1999.
26. Paun Gh., Salomaa A. Grammatical Models of Multi-Agent Systems. 1998;Gordon and Breach, London.
27. Paun Gh., Sântean L. Parallel communicating grammar systems; the regular case. Ann. Univ. Buc., Matem.-Inform. Series. 38:1989;55-63.
28. Gh. Paun, and, G. Thierrin, Multiset processing by means of systems of finite state transducers, in, Workshop on Implementing Automata WIA99, Potsdam, August 1999. [Auckland University, CDMTCS Report 101, 1999 (, www.cs.auckland.ac.nz/CDMTCS , )].
29. Gh. Paun, and, T. Yokomori, Membrane computing based on splicing, in, Fifth Inter. Worshop on DNA Based Computers, DNA5, MIT, 1999.
30. Paun Ch., Yokomori T. Simulating H systems by P systems. J. Universal Comput. Sci. 5:1999.
31. Paun Ch., Yu S. On synchronization in P systems. Fund. Inform. 37:1999.
32. Petre I. A normal form for P systems. Bull. EATCS. 67:1999;165-172.
33. I. Petre, and, L. Petre, Mobile ambients and P systems, in, Workshop on Formal Languages, FCT'99, Iaşi, Romania, 1999.
34. Rozenberg G., Salomaa A. The Mathematical Theory of L Systems. 1980;Academic Press, New York.
35. Rozenberg G., Salomaa A. Handbook of Formal Languages. 1997;Springer-Verlag, Berlin/New York.
36. Y. Suzuki, and, H. Tanak, On a LISP implementation of a class of P systems, submitted, 1999.