How to Prove Impossibility Under Global Fairness: On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model

Shukai Cai, Taisuke Izumi, Koichi Wada. How to Prove Impossibility Under Global Fairness: On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model. Theory Comput. Syst., 50(3):433-445, 2012. [doi]

Abstract

Abstract is missing.