AN UNIVERSALITY RESULT FOR A (MEM)BRANE CALCULUS BASED ON MATE/DRIP OPERATIONS

DOI10.1142/S0129054106003693MaRDI QIDQ3379513zbMATH OpenWikidataFDO

Authors Luca Cardelli, Gheorghe Păun

Publication date 6 April 2006

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

membrane computinguniversalitybrane calculimatrix grammar

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Universality results for P systems based on brane calculi operations
• Membrane systems with marked membranes
• P systems with proteins on membranes
• Tissue P systems and (mem)brane systems with mate and drip operations working on strings
• Membrane systems with proteins embedded in membranes

Cites work

• scientific article; zbMATH DE number 3639163 (Why is no real title available?)
• Remarks on blind and partially blind one-way multicounter machines

Cited in

(15)

• Membrane computing and brane calculi. Old, new, and future bridges
• (Mem)brane automata
• Membrane systems with proteins embedded in membranes
• Membrane computing with transport and embedded proteins
• Mutual mobile membranes with objects on surface
• Computing by endocytosis and exocytosis
• Universality results for P systems based on brane calculi operations
• Decision problems in membrane systems with peripheral proteins, transport and evolution
• Membrane automata for modeling biomolecular processes
• Membrane computing and brane calculi (some personal notes)
• Membrane Computing
• Control flow analysis for brane calculi
• An efficient time-free solution to QSAT problem using P systems with proteins on membranes
• Tissue P systems and (mem)brane systems with mate and drip operations working on strings
• Membrane systems with peripheral proteins: transport and evolution

This page was built for publication: AN UNIVERSALITY RESULT FOR A (MEM)BRANE CALCULUS BASED ON MATE/DRIP OPERATIONS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3379513)