Design and analysis of dynamic leader election protocols in broadcast networks (Q5137017)
From MaRDI portal
scientific article; zbMATH DE number 7279514
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Design and analysis of dynamic leader election protocols in broadcast networks |
scientific article; zbMATH DE number 7279514 |
Statements
Design and analysis of dynamic leader election protocols in broadcast networks (English)
0 references
30 November 2020
0 references
broadcast network
0 references
communication protocols
0 references
finite-state machines
0 references
leader election
0 references
message complexity
0 references
protocol design, specification
0 references
verification
0 references
temporal logic
0 references
0 references
0 references
