Self-stabilizing systems in spite of distributed control. (English) Zbl 0305.68048
MSC:
68Q45 | Formal languages and automata |
68N01 | General topics in the theory of software |
94C10 | Switching theory, application of Boolean algebra; Boolean functions (MSC2010) |