Unifying stabilization and termination in message-passing systems

DOI10.1007/S00446-004-0111-6MaRDI QIDQ1953246zbMATH OpenOpenAlexFDO

Authors Anish Arora, Mikhail Nesterenko

Publication date 7 June 2013

Published in Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00446-004-0111-6

zbMATH Keywords

fault-toleranceself-stabilizationtermination

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed systems (68M14)

Recommendations

• Self-stabilizing extensions for message-passing systems
• scientific article; zbMATH DE number 4020457
• Snap-stabilization in message-passing systems
• Self-stabilization over unreliable communication media
• scientific article; zbMATH DE number 3940743

Cites work

• A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments
• Finite-state self-stabilizing protocols in message-passing systems
• Memory requirements for silent stabilization
• Self-stabilization over unreliable communication media
• Stabilization-preserving atomicity refinement
• Termination detection for diffusing computations
• The complexity of crash failures
• Time, clocks, and the ordering of events in a distributed system

Cited in

(2)

• Snap-stabilization in message-passing systems
• Finite-state self-stabilizing protocols in message-passing systems

This page was built for publication: Unifying stabilization and termination in message-passing systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1953246)