Orderly communication in the ambient calculus. (Q1869977): Difference between revisions

@@ Property / cites work @@
+A calculus of mobile agents
@@ Property / cites work: A calculus of mobile agents / rank @@
+Normal rank
@@ Property / cites work @@
+Trust and partial typing in open systems of mobile agents
+Normal rank
@@ Property / cites work @@
+Q4536435
@@ Property / cites work: Q4536435 / rank @@
+Normal rank
@@ Property / cites work @@
+Flow-sensitive type systems and the ambient calculus
+Normal rank
@@ Property / cites work @@
+Q2763674
@@ Property / cites work: Q2763674 / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling interference in ambients
@@ Property / cites work: Controlling interference in ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Secure safe ambients
@@ Property / cites work: Secure safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766539
@@ Property / cites work: Q2766539 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing evolving ambients
@@ Property / cites work: Typing evolving ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508315
@@ Property / cites work: Q4508315 / rank @@
+Normal rank