This short note corrects a progress-related error of a mutex algorithm (published in vol. 158 of IPL, 2020) designed for fully anonymous systems.
Bibliographical noteFunding Information:
We thank Peter A. Buhr and Wojciech Golab (University of Waterloo, Canada) for having discovered a faulty scenario in which deadlock-freedom was not ensured and for their kind help in doing testing and model checking tests on the corrected version. We also want to thank again Peter A. Buhr for the fruitful exchanges which allowed us to improve the quality of the paper.
© 2020 Elsevier B.V.
- Distributed computing
- Fully anonymous system
- Mutual exclusion