scholarly journals The Leader Election Protocol of IEEE 1394 in Maude⋆ ⋆Research supported by CICYT project Desarrollo Formal de Sistemas Distribuidos (TIC97-0669-C03-01).

2000 ◽  
Vol 36 ◽  
pp. 383-404
Author(s):  
Alberto Verdejo ◽  
Isabel Pita ◽  
Narciso Martí-Oliet
Keyword(s):  
Leader Election ◽  
Ieee 1394

scholarly journals Time-Optimal Self-Stabilizing Leader Election in Population Protocols

2021 ◽  
Author(s):  
Janna Burman ◽  
Ho-Lin Chen ◽  
Hsueh-Ping Chen ◽  
David Doty ◽  
Thomas Nowak ◽  
...  
Keyword(s):  
Leader Election ◽  
Population Protocols ◽  
Time Optimal

Enhanced Phase Clocks, Population Protocols, and Fast Space Optimal Leader Election

2021 ◽  
Vol 68 (1) ◽  
pp. 1-21
Author(s):  
Leszek Gąsieniec ◽  
Grzegorz Stachowiak
Keyword(s):  
Leader Election ◽  
Population Protocols

Simple and fast approximate counting and leader election in populations

2021 ◽  
pp. 104698
Author(s):  
Othon Michail ◽  
Paul G. Spirakis ◽  
Michail Theofilatos
Keyword(s):  
Leader Election ◽  
Approximate Counting
Sign in / Sign up

Export Citation Format

Share Document