Towards a behavioural theory of access and mobility control in distributed systems (Q1881259): Difference between revisions

@@ Property / cites work @@
+CONCUR '98. Concurrency theory. 9th international conference, Nice, France, September 8--11, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Communication and mobility control in boxed ambients
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415246
@@ Property / cites work: Q4415246 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile agents
@@ Property / cites work: A calculus of mobile agents / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed behavioural equivalences for processes in the presence of subtyping
+Normal rank
@@ Property / cites work @@
+safeDpi: a language for controlling mobile code
@@ Property / cites work: safeDpi: a language for controlling mobile code / rank @@
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation congruences in safe ambients
@@ Property / cites work: Bisimulation congruences in safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile objects as mobile processes
@@ Property / cites work: Mobile objects as mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449205
@@ Property / cites work: Q4449205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219047
@@ Property / cites work: Q4219047 / rank @@
+Normal rank
@@ Property / cites work @@
+Assigning types to processes
@@ Property / cites work: Assigning types to processes / rank @@
+Normal rank