Towards the formal design of self-stabilizing distributed algorithms
Publication date
1992
Authors
Lentfert, P.
Swierstra, S. Doaitse
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client
Citation
Lentfert, P & Swierstra, S D 1992, Towards the formal design of self-stabilizing distributed algorithms. vol. 92-25, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-92-25.html >