A process calculus for mobile ad hoc networks (Q967528): Difference between revisions

@@ Property / cites work @@
+Q4417935
@@ Property / cites work: Q4417935 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric synchronizations in mobile nominal calculi
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability of process equivalences for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+A Calculus for Mobile Ad Hoc Networks
@@ Property / cites work: A Calculus for Mobile Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223018
@@ Property / cites work: Q4223018 / rank @@
+Normal rank
@@ Property / cites work @@
+An Observational Theory for Mobile Ad Hoc Networks
+Normal rank
@@ Property / cites work @@
+Q2851331
@@ Property / cites work: Q2851331 / 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 @@
+A framework for security analysis of mobile wireless networks
+Normal rank
@@ Property / cites work @@
+Q2760245
@@ Property / cites work: Q2760245 / rank @@
+Normal rank
@@ Property / cites work @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4414384
@@ Property / cites work: Q4414384 / rank @@
+Normal rank