Mikhail Nesterenko, Anish Arora. Stabilization-Preserving Atomicity Refinement. J. Parallel Distrib. Comput., 62(5):766-791, 2002. [doi]
@article{NesterenkoA02:0, title = {Stabilization-Preserving Atomicity Refinement}, author = {Mikhail Nesterenko and Anish Arora}, year = {2002}, doi = {10.1006/jpdc.2001.1828}, url = {http://dx.doi.org/10.1006/jpdc.2001.1828}, tags = {refinement}, researchr = {https://researchr.org/publication/NesterenkoA02%3A0}, cites = {0}, citedby = {0}, journal = {J. Parallel Distrib. Comput.}, volume = {62}, number = {5}, pages = {766-791}, }