Pages that link to "Item:Q5137017"
From MaRDI portal
The following pages link to Design and analysis of dynamic leader election protocols in broadcast networks (Q5137017):
Displaying 6 items.
- A leader election algorithm for dynamic networks with causal clocks (Q360270) (← links)
- Self-stabilizing leader election in dynamic networks (Q722199) (← links)
- Formal verification of a leader election protocol in process algebra (Q1391796) (← links)
- Probabilistic verification of hierarchical leader election protocol in dynamic systems (Q1713851) (← links)
- A distributed election protocol for unreliable networks (Q1923382) (← links)
- Leader election in well-connected graphs (Q2696279) (← links)