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

@@ 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.1007/978-3-642-20000-7_11
+Normal rank
@@ Property / OpenAlex ID @@
+W125090424
@@ Property / OpenAlex ID: W125090424 / rank @@
+Normal rank
@@ 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