Login / Signup
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
Published in:
Theory Comput. Syst. (2012)
Keyphrases
</>
space complexity
probabilistic model
objective function
formal model
search space
computational model
mathematical model
neural network
high level
management system
colored petri nets