Stabilization-preserving atomicity refinement

Journal of Parallel and Distributed Computing

Volumn 62, Issue 5, 2002, Pages 766-791

  Nesterenko, Mikhail ^a   Arora, Anish ^b  

^a KENT STATE UNIVERSITY   (United States)

^b OHIO STATE UNIVERSITY   (United States)

Author keywords

Atomicity refinement; Concurrency; Fault tolerance; Stabilization

Indexed keywords

EID: 0036292756     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1006/jpdc.2001.1828     Document Type: Article

References (19)

1. Mutual exclusion between neighboring nodes in an arbitrary system graph that stabilizes using read/write atomicity
2. Closure and convergence: A foundation of fault-tolerant computing
3. Distributed reset
4. Bounding the unbounded (distributed computing protocols)
5. Token systems that self-stabilize
6. "Self-stabilizing Rings without Demons,"
7. The drinking philosopher's problem
8. "Parallel Program Design: A Foundation,"
9. "Hierarchical Ordering of Sequential Processes,"
10. Self stabilizing systems in spite of distributed control
11. Self-stabilization of dynamic systems assuming only read/write atomicity
12. The alternator
13. Stabilizing communication protocols
14. Finite-state self-stabilizing protocols in message passing systems
15. The mutual exclusion problem II-Statement and solutions
16. A timestamp based transformation of self-stabilizing programs for distributed computing environments
17. A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments
18. Lock-based self-stabilizing distributed mutual exclusion algorithms
19. "Advanced Concepts in Operating Systems: Distributed, Database, and Multiprocessor Operating Systems,"