Leslie Lamport. The mutual exclusion problem: part I - A theory of interprocess communication. In Dahlia Malkhi, editor, Concurrency: the Works of Leslie Lamport. pages 227-245, ACM, 2019. [doi]
@incollection{Lamport19d,
title = {The mutual exclusion problem: part I - A theory of interprocess communication},
author = {Leslie Lamport},
year = {2019},
doi = {10.1145/3335772.3335937},
url = {https://doi.org/10.1145/3335772.3335937},
researchr = {https://researchr.org/publication/Lamport19d},
cites = {0},
citedby = {0},
pages = {227-245},
booktitle = {Concurrency: the Works of Leslie Lamport},
editor = {Dahlia Malkhi},
publisher = {ACM},
isbn = {978-1-4503-7270-1},
}