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

DOI10.1142/S0129054106003693zbMath1088.68055WikidataQ56982059 ScholiaQ56982059MaRDI QIDQ3379513

Gheorghe Păun, Luca Cardelli

Publication date: 6 April 2006

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

zbMATH Keywords

universalitymembrane computingbrane calculimatrix grammar

Mathematics Subject Classification ID

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

Related Items (14)

Computing by Endocytosis and Exocytosis ⋮ Universality results for P systems based on brane calculi operations ⋮ An efficient time-free solution to QSAT problem using P systems with proteins on membranes ⋮ Membrane computing and brane calculi. Old, new, and future bridges ⋮ Membrane systems with proteins embedded in membranes ⋮ Decision problems in membrane systems with peripheral proteins, transport and evolution ⋮ (Mem)brane automata ⋮ Mutual mobile membranes with objects on surface ⋮ Control Flow Analysis for Brane Calculi ⋮ Membrane computing with transport and embedded proteins ⋮ Membrane automata for modeling biomolecular processes ⋮ Membrane Computing and Brane Calculi (Some Personal Notes) ⋮ Membrane Systems with Peripheral Proteins: Transport and Evolution ⋮ Tissue P Systems and (Mem)Brane Systems with Mate and Drip Operations Working on Strings

Cites Work

• Remarks on blind and partially blind one-way multicounter machines
• Unnamed Item

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