On the verification of membrane systems with dynamic structure (Q609035): Difference between revisions

@@ Property / cites work @@
+Membrane division, restricted membrane creation and object complexity in P systems
+Normal rank
@@ Property / cites work @@
+Q4413821
@@ Property / cites work: Q4413821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4448362
@@ Property / cites work: Q4448362 / rank @@
+Normal rank
@@ Property / cites work @@
+Gemmating P systems: Collapsing hierarchies.
@@ Property / cites work: Gemmating P systems: Collapsing hierarchies. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ Property / cites work @@
+On the Dynamics of PB Systems with Volatile Membranes
+Normal rank
@@ Property / cites work @@
+A Biologically Inspired Model with Fusion and Clonation of Membranes
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Catalytic P systems, semilinear sets, and vector addition systems
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with membranes
@@ Property / cites work: Computing with membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708469
@@ Property / cites work: Q2708469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5487108
@@ Property / cites work: Q5487108 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of membrane division in P systems
@@ Property / cites work: On the power of membrane division in P systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520789
@@ Property / cites work: Q4520789 / rank @@
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+Verifying lossy channel systems has nonprimitive recursive complexity.
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank