Equational reasonings in wireless network gossip protocols (Q4553277)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6970791
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Equational reasonings in wireless network gossip protocols |
scientific article; zbMATH DE number 6970791 |
Statements
2 November 2018
0 references
wireless sensor network
0 references
gossip protocols
0 references
probabilistic operational semantics
0 references
quasimetric
0 references
weak simulation with tolerance
0 references
collision-free gossip protocols
0 references
collision-prone gossip protocols
0 references
randomized gossip protocols
0 references
asymmetric bisimulation metric
0 references
0 references
0.8907256126403809
0 references
0.8058962225914001
0 references
0.7542255520820618
0 references
0.7464434504508972
0 references
0.7432969212532043
0 references
