Towards the Formal Design of Self-Stabilizing Distributed Algorithms.

P. J. A. Lentfert, S. Doaitse Swierstra

Browse the full STACS paper archive.