Semantic Analysis of Gossip Protocols for Wireless Sensor Networks (Q3090828): Difference between revisions

@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+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 @@
+Probabilistic mobile ambients
@@ Property / cites work: Probabilistic mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic Analysis of Gossip Protocols for Wireless Sensor Networks
+Normal rank
@@ Property / cites work @@
+Proving Approximate Implementations for Probabilistic I/O Automata
+Normal rank
@@ Property / cites work @@
+Probabilistic Mobility Models for Mobile and Wireless Networks
+Normal rank