A Temporal Logic for Mutual Mobile Membranes with Objects on Surface (Q3009342): Difference between revisions

@@ Property / cites work @@
+On the Reachability Problem in P Systems with Mobile Membranes
+Normal rank
@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding Mobile Ambients into the π-Calculus
@@ Property / cites work: Encoding Mobile Ambients into the π-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852095
@@ Property / cites work: Q2852095 / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting logic framework for operational semantics of membrane systems
+Normal rank
@@ Property / cites work @@
+Q3410189
@@ Property / cites work: Q3410189 / rank @@
+Normal rank