Login / Signup

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

Shukai CaiTaisuke IzumiKoichi 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