Towards the Formal Design of Self-Stabilizing Distributed Algorithms

• Authors:

• P. J. A. Lentfert;S. Doaitse Swierstra

• Affiliations:

• -;-

• Venue:
• STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
• Year:
• 1993