Stabilization-Preserving Atomicity Refinement

Mikhail Nesterenko, Anish Arora. Stabilization-Preserving Atomicity Refinement. J. Parallel Distrib. Comput., 62(5):766-791, 2002. [doi]

Abstract

Abstract is missing.