Distributed Computation for Cooperative Control
Self-stabilizing systems in spite of distributed control