Convergence of iteration systems

DOI10.1007/BF02278855zbMath0818.68072MaRDI QIDQ1310569

Michael Evangelist, Mohamed G. Gouda, Anish Arora, Paul C. Attie

Publication date: 6 January 1994

Published in: Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

convergencedependency graphiteration systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (4)

Error-detecting codes and fault-containing self-stabilization ⋮ The alternator ⋮ Self-stabilization with r-operators ⋮ Self-stabilization with path algebra

Uses Software

• UNITY

Cites Work

• A proof rule for fair termination of guarded commands
• Self-stabilizing systems in spite of distributed control
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Convergence of iteration systems