Login / Signup

Self-stabilizing Mutual Exclusion and Group Mutual Exclusion for Population Protocols with Covering.

Joffroy BeauquierJanna Burman
Published in: OPODIS (2011)
Keyphrases
  • mutual exclusion
  • long distance
  • temporal planning
  • genetic algorithm
  • planning domains
  • communication protocols
  • information retrieval systems
  • petri net