×

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)
PDF BibTeX XML Cite
Full Text: DOI