Skip to content


Spend $50 to get a free DVD!

ISBN-10: 0262041782

ISBN-13: 9780262041782

Edition: 2000

Authors: Shlomi Dolev

List price: $50.00
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


Presenting the fundamentals, this book demonstrates the process of designing self-stabilizing distributed systems. It details the algorithms that can be started in an arbitrary state, allowing the system to recover from the faults.
Customers also bought

Book details

List price: $50.00
Copyright year: 2000
Publisher: MIT Press
Publication date: 2/16/2000
Binding: Hardcover
Pages: 208
Size: 6.25" wide x 9.50" long x 0.75" tall
Weight: 0.880
Language: English

Definitions, Techniques, and Paradigms
Definitions of the Computational Model
Self-Stabilization Requirements
Complexity Measures
Randomized Self-Stabilization
Example: Spanning-Tree Construction
Example: Mutual Exclusion
Fair Composition of Self-Stabilizing Algorithms
Recomputation of Floating Output
Proof Techniques
Motivating Self-Stabilization
Initialization of a Data-Link Algorithm in the Presence of Faults
Arbitrary Configuration Because of Crashes
Frequently Asked Questions
Self-Stabilizing Algorithms for Model Conversions
Token-Passing: Converting a Central Daemon to read/write
Data-Link Algorithms: Converting Shared Memory to Message Passing
Self-Stabilizing Ranking: Converting an Id-based System to a Special-processor System
Update: Converting a Special Processor to an Id-based Dynamic System
Stabilizing Synchronizers: Converting Synchronous to Asynchronous Algorithms
Self-Stabilizing Naming in Uniform Systems: Converting Id-based to Uniform Dynamic Systems
Resynchronous Stabilizer
Monitoring and Resetting
Convergence in the Presence of Faults
Digital Clock Synchronization
Stabilization in Spite of Napping
Stabilization in Spite of Byzantine Faults
Stabilization in the Presence of Faults in Asynchronous Systems
Local Stabilization
Self-Stabilizing Fault-Containing Algorithms
Error-Detection Codes and Repair
Self-Stabilizing Computing
The Computation Power of Self-Stabilizing Systems
Queue Machine