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]

Authors

Shukai Cai

This author has not been identified. Look up 'Shukai Cai' in Google

Taisuke Izumi

This author has not been identified. Look up 'Taisuke Izumi' in Google

Koichi Wada

This author has not been identified. Look up 'Koichi Wada' in Google