Finite-state self-stabilizing protocols in message-passing systems

A quorum-based self-stabilizing distributed mutual exclusion algorithm

Journal of Parallel and Distributed Computing

Stabilization-preserving atomicity refinement

Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems

Stabilization-Preserving Atomicity Refinement

Proceedings of the 13th International Symposium on Distributed Computing

Snap-stabilization in message-passing systems

Journal of Parallel and Distributed Computing

Stabilizing data-link over non-FIFO channels with optimal fault-resilience

Information Processing Letters