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]
@article{CaiIW12, title = {How to Prove Impossibility Under Global Fairness: On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model}, author = {Shukai Cai and Taisuke Izumi and Koichi Wada}, year = {2012}, doi = {10.1007/s00224-011-9313-z}, url = {http://dx.doi.org/10.1007/s00224-011-9313-z}, researchr = {https://researchr.org/publication/CaiIW12}, cites = {0}, citedby = {0}, journal = {Theory Comput. Syst.}, volume = {50}, number = {3}, pages = {433-445}, }