When ambients cannot be opened (Q1770415): Difference between revisions

@@ Property / cites work @@
+On the decidability of fragments of the asynchronous π-calculus
+Normal rank
@@ Property / cites work @@
+Q2763674
@@ Property / cites work: Q2763674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417858
@@ Property / cites work: Q4417858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714432
@@ Property / cites work: Q5714432 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738363
@@ Property / cites work: Q4738363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783317
@@ Property / cites work: Q4783317 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766526
@@ Property / cites work: Q2766526 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778710
@@ Property / cites work: Q4778710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494378
@@ Property / cites work: Q4494378 / rank @@
+Normal rank
@@ Property / cites work @@
+Separability in the Ambient Logic
@@ Property / cites work: Separability in the Ambient Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling interference in ambients
@@ Property / cites work: Controlling interference in ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847404
@@ Property / cites work: Q2847404 / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Q4484494
@@ Property / cites work: Q4484494 / rank @@
+Normal rank