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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-23217-6_11
+Normal rank
@@ Property / OpenAlex ID @@
+W177925675
@@ Property / OpenAlex ID: W177925675 / rank @@
+Normal rank
@@ 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