Reducing the number of messages in self-stabilizing protocols

DOI10.1007/978-3-030-34992-9_12zbMATH Open1543.6804MaRDI QIDQ6536331FDOQ6536331

Anaïs Durand, Shay Kutten

Publication date: 19 April 2024

zbMATH Keywords

fault-toleranceself-stabilizationtermination detectionmessage complexityquiescence detection

Mathematics Subject Classification ID

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

Cites Work

• Self-stabilizing extensions for message-passing systems
• Proof labeling schemes
• The expressive power of snap-stabilization
• Self-stabilization
• Self-stabilizing systems in spite of distributed control
• Time optimal self-stabilizing synchronization
• Snap-stabilization in message-passing systems
• The local detection paradigm and its applications to self-stabilization
• Termination detection for diffusing computations
• Distributed Termination
• When graph theory helps self-stabilization
• Fast and compact self-stabilizing verification, computation, and fault detection of an MST
• Snap-stabilizing PIF on arbitrary connected networks in message passing model
• Bounded-wait combining: constructing robust and high-throughput shared objects
• Self-Stabilization by Counter Flushing
• An example of stepwise refinement of distributed programs: quiescence detection
• Title not available (Why is that?)

Cited In (1)

• Communication efficient self-stabilizing leader election

This page was built for publication: Reducing the number of messages in self-stabilizing protocols

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