AN UNIVERSALITY RESULT FOR A (MEM)BRANE CALCULUS BASED ON MATE/DRIP OPERATIONS
DOI10.1142/S0129054106003693zbMATH Open1088.68055WikidataQ56982059 ScholiaQ56982059MaRDI QIDQ3379513FDOQ3379513
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)
Recommendations
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)
Cites Work
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
- Control flow analysis for brane calculi
- Membrane computing and brane calculi (some personal notes)
- 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)
