Reachability problems in BioAmbients (Q418830): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B05
@@ Property / Mathematics Subject Classification ID: 92B05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C42
@@ Property / Mathematics Subject Classification ID: 92C42 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6039198
@@ Property / zbMATH DE Number: 6039198 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bio-inspired process calculi
@@ Property / zbMATH Keywords: bio-inspired process calculi / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+reachability analysis
@@ Property / zbMATH Keywords: reachability analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Petri nets
@@ Property / zbMATH Keywords: Petri nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Turing completeness
@@ Property / zbMATH Keywords: Turing completeness / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.12.056
+Normal rank
@@ Property / OpenAlex ID @@
+W2037088969
@@ Property / OpenAlex ID: W2037088969 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:418830