Self-Stabilizing Systems
Published on 15. August 1997
228 pages
978-0-7735-9114-1 (ISBN)
Description
Self- governing control is a defining characteristic of autonomous computing machinery. Autonomy implies some degree of independence, and when a system''s ability to achieve its mission is independent of how it is initialized, the system is self-stabilizing. Application of self-stabilization to system and network components is motivated by core concerns of fault-tolerance in distributed systems. Self-stabilization is a solution to problems of transient memory faults and systems with dynamic reconfigurations. Research in self-stabilization explores many of the classic themes of distributed computing (distributed graph algorithms, mutual exclusion, distributed agreement). Recent papers combine self-stabilization with traditional forms of fault-tolerance, consider methodological issues for the design of self-stabilizing systems, investigate randomized techniques, and apply stabilization to new networking models. The workshop brings together concerns from theory and practice of self-stabilization.
More details
Other editions
Additional editions
Sukumar Ghosh | Ted Herman
Self-Stabilizing Systems
Book
08/1997
McGill-Queen's University Press
€72.00
Article not available at the moment
Content
- Cover
- Title
- Copyright
- Table of Contents
- Preface
- Compositional Design of Multitolerant Repetitive Byzantine Agreement
- Development of Self-Stabilizing Distributed Algorithms using Transformation: Case Studies
- The Linear Alternator
- Self-Stabilizing l-exclusion
- On FTSS-Solvable Distributed Problems
- Compositional Proofs of Self-stabilizing Protocols
- Delay-Insensitive Stabilization
- A Latency-Optimal Superstabilizing Mutual Exclusion Protocol
- Memory-Efficient Self-stabilizing Algorithm to Construct BFS Spanning Trees
- Self-stabilizing Universal Algorithms
- Tradeoffs in Fault-Containing Self-stabilization
- Self-stabilizing Multiple-Sender/Single-Receiver Protocol
- Propagated Timestamps: A Scheme for the Stabilization of Maximum Flow Routing Protocols
- Deductive Verification of Stabilizing Systems
