Stabilizing Unison

  title={Stabilizing Unison},
  author={Mohamed G. Gouda and Ted Herman},
  journal={Inf. Process. Lett.},
The guard of an action in program P.i is a Boolean expression over the x variables and the local variables of P.i. The assignment statement of an action in P.i updates variable x.i and the local variables of P. i. A state of this system is defined by a value for every x.i and a value for every local variable in each program. An action whose guard is true at some state is said to be enabled at that state. Similarly, a program that has at least one enabled action at some state is said to be… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 36 extracted citations

A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock

IEEE Transactions on Dependable and Secure Computing • 2007
View 10 Excerpts
Highly Influenced

On the Complexity of Distributed Wake-Up

2016 Fourth International Symposium on Computing and Networking (CANDAR) • 2016

Deriving a Good Trade-off Between System Availability and Time Redundancy

2009 Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing • 2009
View 1 Excerpt


Publications referenced by this paper.
Showing 1-2 of 2 references

Lack of a global clock does not slow down the computation in distributed networks, Manuscript

S. Even, S. Rajsbaum

Similar Papers

Loading similar papers…