Distributed algorithms for cooperative control
Self-stabilizing systems in spite of distributed control