A calculus of trustworthy ad hoc networks (Q470043): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-011-0210-7
@@ Property / DOI: 10.1007/s00165-011-0210-7 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q62041620
@@ Property / Wikidata QID: Q62041620 / rank @@
+Normal rank
@@ Property / cites work @@
+Noninterference for concurrent programs and thread systems
+Normal rank
@@ Property / cites work @@
+Static analysis for the \(\pi\)-calculus with applications to security
+Normal rank
@@ Property / cites work @@
+A process calculus for mobile ad hoc networks
@@ Property / cites work: A process calculus for mobile ad hoc networks / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of standards for distance vector routing protocols
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Controlling information release in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+An operational semantics for a calculus for wireless systems
+Normal rank
@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Reasoning on Ad Hoc Networks
@@ Property / cites work: Equational Reasoning on Ad Hoc Networks / rank @@
+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 @@
+Q3047540
@@ Property / cites work: Q3047540 / rank @@
+Normal rank
@@ Property / cites work @@
+An observational theory for mobile ad hoc networks (full version)
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for security analysis of mobile wireless networks
+Normal rank
@@ Property / cites work @@
+An Axiomatic Approach to Information Flow in Programs
+Normal rank
@@ Property / cites work @@
+Probabilistic Mobility Models for Mobile and Wireless Networks
+Normal rank
@@ Property / DOI @@
+.1007/S00165-011-0210-7
@@ Property / DOI: 10.1007/S00165-011-0210-7 / rank @@
+Normal rank