Distributed Reset (Extended Abstract)

Distributed Reset

IEEE Transactions on Computers

Formal design of self-stabilizing programs

Journal of High Speed Networks - Self-Stabilizing Systems, Part 1

Self-stabilizing minimum degree spanning tree within one from the optimal degree

Journal of Parallel and Distributed Computing

On distributed verification

ICDCN'06 Proceedings of the 8th international conference on Distributed Computing and Networking

Self-stabilization of byzantine protocols

SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems

The first fully polynomial stabilizing algorithm for BFS tree construction

OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems