Reachability problems in BioAmbients (Q418830): Difference between revisions

@@ Property / cites work @@
+On the Reachability Problem in P Systems with Mobile Membranes
+Normal rank
@@ Property / cites work @@
+Turing Completeness Using Three Mobile Membranes
@@ Property / cites work: Turing Completeness Using Three Mobile Membranes / rank @@
+Normal rank
@@ Property / cites work @@
+When ambients cannot be opened
@@ Property / cites work: When ambients cannot be opened / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Computer Science
@@ Property / cites work: Theoretical Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding reachability problems in Turing-complete fragments of Mobile Ambients
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783317
@@ Property / cites work: Q4783317 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Reachability in Mobile Ambients with Name Restriction
+Normal rank
@@ Property / cites work @@
+On Reachability and Spatial Reachability in Fragments of BioAmbients
+Normal rank
@@ Property / cites work @@
+On the verification of membrane systems with dynamic structure
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational strength of pure ambient calculi
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis in BioAmbients
@@ Property / cites work: Reachability Analysis in BioAmbients / rank @@
+Normal rank