Secure Data Flow in a Calculus for Context Awareness (Q3507380): Difference between revisions

@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714432
@@ Property / cites work: Q5714432 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791832
@@ Property / cites work: Q4791832 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for the ambient calculus
@@ Property / cites work: Types for the ambient calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843918
@@ Property / cites work: Q2843918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848667
@@ Property / cites work: Q2848667 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank