Q4553277 (Q4553277): Difference between revisions

@@ Property / cites work @@
+Computing Behavioral Distances, Compositionally
@@ Property / cites work: Computing Behavioral Distances, Compositionally / rank @@
+Normal rank
@@ Property / cites work @@
+An analytical model of information dissemination for a gossip-based protocol
+Normal rank
@@ Property / cites work @@
+Probabilistic weak simulation is decidable in polynomial time
+Normal rank
@@ Property / cites work @@
+Q4484497
@@ Property / cites work: Q4484497 / rank @@
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+Modelling MAC-Layer Communications in Wireless Systems
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+A Process Algebra for Wireless Mesh Networks
@@ Property / cites work: A Process Algebra for Wireless Mesh Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Reasoning on Mobile Ad Hoc Networks
@@ Property / cites work: Equational Reasoning on Mobile Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Metric Reasoning with Probabilistic Process Calculi
+Normal rank
@@ Property / cites work @@
+Compositional bisimulation metric reasoning with Probabilistic Process Calculi
+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 @@
+Q4992498
@@ Property / cites work: Q4992498 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995155
@@ Property / cites work: Q4995155 / rank @@
+Normal rank
@@ Property / cites work @@
+SOS specifications of probabilistic systems by uniformly continuous operators
+Normal rank
@@ Property / cites work @@
+SOS specifications for uniformly continuous operators
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760248
@@ Property / cites work: Q2760248 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic Analysis of Gossip Protocols for Wireless Sensor Networks
+Normal rank
@@ Property / cites work @@
+Compositional weak metrics for group key update
@@ Property / cites work: Compositional weak metrics for group key update / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Simulation Quasimetric in a Gossip Scenario
@@ Property / cites work: Weak Simulation Quasimetric in a Gossip Scenario / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+An operational semantics for a calculus for wireless systems
+Normal rank
@@ Property / cites work @@
+A timed calculus for wireless systems
@@ Property / cites work: A timed calculus for wireless systems / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for security analysis of mobile wireless networks
+Normal rank
@@ Property / cites work @@
+Probabilistic Mobility Models for Mobile and Wireless Networks
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+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 @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank