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 4 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)
- Leader election in well-connected graphs (Q2696279) (← links)
