Local reasoning for global convergence of parameterized rings
Document Type
Conference Proceeding
Publication Date
10-5-2012
Abstract
This paper presents a method that can generate Self-Stabilizing (SS) parameterized protocols that are generalizable; i.e., correct for arbitrary number of finite-state processes. Specifically, we present necessary and sufficient conditions specified in the local state space of the representative process of parameterized rings for deadlock-freedom in their global state space. Moreover, we introduce sufficient conditions that guarantee livelock-freedom in arbitrary-sized unidirectional rings. We illustrate the proposed approach in the context of several classic examples including a maximal matching protocol and an agreement protocol. More importantly, the proposed method lays the foundation of an approach for automated design of global convergence in the local state space of the representative process. © 2012 IEEE.
Publication Title
Proceedings - International Conference on Distributed Computing Systems
Recommended Citation
Farahat, A.,
&
Ebnenasir, A.
(2012).
Local reasoning for global convergence of parameterized rings.
Proceedings - International Conference on Distributed Computing Systems, 496-505.
http://doi.org/10.1109/ICDCS.2012.66
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/10570