Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
The Theory of Weak Stabilization
| |
|
The Theory of Weak Stabilization
Mohamed G. Gouda6 
| (6) |
Department of Computer Sciences, The University of Texas at Austin, Austin, TX 78712-1188, USA |
Abstract
We investigate a new property of computing systems called weak stabilization. Although this property is strictly weaker than
the well-known property of stabilization, weak stabilization is superior to stabilization in several respects. In particular,
adding delays to a system preserves the system property of weak stabilization, but does not necessarily preserve its stabilization
property. Because most implementations are bound to add arbitrary delays to the systems being implemented, weakly stabilizing
systems are much easier to implement than stabilizing systems. We also prove the following important result. A weakly stabilizing
system that has a finite number of states is in fact stabilizing assuming that the system execution is strongly fair. Finally,
we discuss an interesting method for composing several weakly stabilizing systems into a single weakly stabilizing system.
This work is supported in part by DARPA contract F33615-01-C-1901.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|