Typed context awareness ambient calculus for pervasive applications (Q903500): Difference between revisions

@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843918
@@ Property / cites work: Q2843918 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738363
@@ Property / cites work: Q4738363 / rank @@
+Normal rank
@@ Property / cites work @@
+Access control in mobile ambient calculi: a comparative view
+Normal rank
@@ Property / cites work @@
+Q4413066
@@ Property / cites work: Q4413066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856176
@@ Property / cites work: Q4856176 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of context-aware ambients
@@ Property / cites work: The calculus of context-aware ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensionality and intensionality of the ambient logics
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank