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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-011-0210-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1979510503
@@ Property / OpenAlex ID: W1979510503 / 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