Stabilization-Preserving Atomicity Refinement

Antonoiu, 1999, Mutual exclusion between neighboring nodes in an arbitrary system graph that stabilizes using read/write atomicity, 1685 Arora, 1993, Closure and convergence: A foundation of fault-tolerant computing, IEEE Trans. Software Eng., 19, 1015, 10.1109/32.256850 Arora, 1994, Distributed reset, IEEE Trans. Comput., 43, 1026, 10.1109/12.312126 Awerbuch, 1994, Bounding the unbounded (distributed computing protocols), Proceedings IEEE INFOCOM 94 The Conference on Computer Communications, 776, 10.1109/INFCOM.1994.337661 Brown, 1989, Token systems that self-stabilize, IEEE Trans. Comput., 38, 845, 10.1109/12.24293 J. E. Burns, Self-stabilizing Rings without Demons, Technical Report, GIT-ICS-87/36, Georgia Tech, 1987. Chandy, 1984, The drinking philosopher's problem, ACM Trans. Program. Languages Systems, 6, 632, 10.1145/1780.1804 Chandy, 1988 Dijkstra, 1972 Dijkstra, 1974, Self stabilizing systems in spite of distributed control, Comm. Assoc. Comput. Mach., 17, 643 Dolev, 1993, Self-stabilization of dynamic systems assuming only read/write atomicity, Distrib. Comput., 7, 3, 10.1007/BF02278851 M. G. Gouda, and, F. Haddix, The alternator, submitted. Gouda, 1991, Stabilizing communication protocols, IEEE Trans. Comput., 40, 448, 10.1109/12.88464 Howell, 1999, Finite-state self-stabilizing protocols in message passing systems, Proceedings of the Fourth Workshop on Self-Stabilizing Systems, 62 Lamport, 1986, The mutual exclusion problem II-Statement and solutions, J. Assoc. Comput. Machinery, 33, 327, 10.1145/5383.5385 Mizuno, 1996, A timestamp based transformation of self-stabilizing programs for distributed computing environments, 1151 Mizuno, 1998, A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments, Inform. Process. Lett., 66, 285, 10.1016/S0020-0190(98)00069-6 Mizuno, 1996, Lock-based self-stabilizing distributed mutual exclusion algorithms, Proceedings of the 16th International Conference on Distributed Computing Systems, 708, 10.1109/ICDCS.1996.508023 Singhal, 1994