Self-stabilizing extensions for message-passing systems
scientific article; zbMATH DE number 482204