Corrigendum to “Mutual exclusion in fully anonymous shared memory systems” [Inf. Process. Lett. 158 (2020) 105938](S0020019020300259)(10.1016/j.ipl.2020.105938)

Michel Raynal; Gadi Taubenfeld

doi:10.1016/j.ipl.2022.106304

Corrigendum to “Mutual exclusion in fully anonymous shared memory systems” [Inf. Process. Lett. 158 (2020) 105938](S0020019020300259)(10.1016/j.ipl.2020.105938)

Michel Raynal, Gadi Taubenfeld

Research output: Contribution to journal › Article › peer-review

Abstract

This short note corrects a progress-related error of a mutex algorithm (published in vol. 158 of IPL, 2020) designed for fully anonymous systems.

Original language	English
Article number	106304
Pages (from-to)	106304
Number of pages	1
Journal	Information Processing Letters
Volume	179
DOIs	https://doi.org/10.1016/j.ipl.2022.106304
State	Published - Jan 2023
Externally published	Yes

Bibliographical note

Funding 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.

Publisher Copyright:
© 2020 Elsevier B.V.

Keywords

Concurrency
Distributed computing
Fully anonymous system
Mutual exclusion

Access to Document

10.1016/j.ipl.2022.106304

Cite this

@article{505b7908fd864f41883ade4c61ff6a0b,

title = "Corrigendum to “Mutual exclusion in fully anonymous shared memory systems” [Inf. Process. Lett. 158 (2020) 105938](S0020019020300259)(10.1016/j.ipl.2020.105938)",

abstract = "This short note corrects a progress-related error of a mutex algorithm (published in vol. 158 of IPL, 2020) designed for fully anonymous systems.",

keywords = "Concurrency, Distributed computing, Fully anonymous system, Mutual exclusion",

author = "Michel Raynal and Gadi Taubenfeld",

note = "Publisher Copyright: {\textcopyright} 2020 Elsevier B.V.",

year = "2023",

month = jan,

doi = "10.1016/j.ipl.2022.106304",

language = "אנגלית",

volume = "179",

pages = "106304",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

}

TY - JOUR

T1 - Corrigendum to “Mutual exclusion in fully anonymous shared memory systems” [Inf. Process. Lett. 158 (2020) 105938](S0020019020300259)(10.1016/j.ipl.2020.105938)

AU - Raynal, Michel

AU - Taubenfeld, Gadi

PY - 2023/1

Y1 - 2023/1

N2 - This short note corrects a progress-related error of a mutex algorithm (published in vol. 158 of IPL, 2020) designed for fully anonymous systems.

AB - This short note corrects a progress-related error of a mutex algorithm (published in vol. 158 of IPL, 2020) designed for fully anonymous systems.

KW - Concurrency

KW - Distributed computing

KW - Fully anonymous system

KW - Mutual exclusion

UR - http://www.scopus.com/inward/record.url?scp=85135888519&partnerID=8YFLogxK

U2 - 10.1016/j.ipl.2022.106304

DO - 10.1016/j.ipl.2022.106304

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85135888519

SN - 0020-0190

VL - 179

SP - 106304

JO - Information Processing Letters

JF - Information Processing Letters

M1 - 106304

ER -

Corrigendum to “Mutual exclusion in fully anonymous shared memory systems” [Inf. Process. Lett. 158 (2020) 105938](S0020019020300259)(10.1016/j.ipl.2020.105938)

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this