A Combinatorial Characterization of Self-stabilizing Population Protocols

Shaan Mathur, Rafail Ostrovsky. A Combinatorial Characterization of Self-stabilizing Population Protocols. In Stéphane Devismes, Neeraj Mittal, editors, Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings. Volume 12514 of Lecture Notes in Computer Science, pages 167-182, Springer, 2020. [doi]

Abstract

Abstract is missing.