共 50 条
- [31] On the Power of Oracle Ω? for Self-Stabilizing Leader Election in Population Protocols STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2016, 2016, 10083 : 20 - 35
- [32] Loosely-Stabilizing Leader Election on Arbitrary Graphs in Population Protocols PRINCIPLES OF DISTRIBUTED SYSTEMS, OPODIS 2014, 2014, 8878 : 339 - 354
- [35] Almost Logarithmic-Time Space Optimal Leader Election in Population Protocols SPAA'19: PROCEEDINGS OF THE 31ST ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURESS, 2019, 2019, : 93 - 102
- [37] Time-Optimal Self-Stabilizing Leader Election in Population Protocols PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), 2021, : 33 - 44
- [38] Design and performance analysis of leader election and initialization protocols on ad hoc networks WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2003, 3 (04): : 487 - 502
- [39] An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017, 10205 : 23 - 40