By Topic

Finite-state self-stabilizing protocols in message-passing systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Howell, Rodney R. ; Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA ; Nesterenko, M. ; Mizuno, M.

We define a finite state message passing model using guarded commands. This model is particularly appropriate for defining and reasoning about self stabilizing protocols, due to the well known result that self stabilizing protocols on unbounded-channel models must have infinitely many legitimate states. We argue that our model is more realistic than other models, and demonstrate its use with a simple example. We conclude by discussing how self stabilizing protocols defined on this model might be implemented directly on actual networks

Published in:

Self-Stabilizing Systems, 1999. Proceedings. 19th IEEE International Conference on Distributed Computing Systems Workshop on

Date of Conference:

1999