Self-stabilizing Mutual Exclusion and Group Mutual Exclusion for Population Protocols with Covering ( Extended Version )

@inproceedings{Beauquier2011SelfstabilizingME,
  title={Self-stabilizing Mutual Exclusion and Group Mutual Exclusion for Population Protocols with Covering ( Extended Version )},
  author={Joffroy Beauquier and Janna Burman},
  year={2011}
}
This paper presents and proves correct two self-stabilizing deterministic algorithms solving the mutual exclusion and the group mutual exclusion problems in the model of population protocols with covering. In this variant of the population protocol model, a local fairness is used and bounded state anonymous mobile agents interact in pairs according to constraints expressed in terms of their cover times. The cover time is an indicator of the “time” for an agent to communicate with all the other… CONTINUE READING