Design and analysis of dynamic leader election protocols in broadcast networks (Q5137017)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Design and analysis of dynamic leader election protocols in broadcast networks |
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
