How to make a multiprocessor computer that correctly executes multiprocess programs

Leslie Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. In Dahlia Malkhi, editor, Concurrency: the Works of Leslie Lamport. pages 197-201, ACM, 2019. [doi]

@incollection{Lamport19c,
  title = {How to make a multiprocessor computer that correctly executes multiprocess programs},
  author = {Leslie Lamport},
  year = {2019},
  doi = {10.1145/3335772.3335935},
  url = {https://doi.org/10.1145/3335772.3335935},
  researchr = {https://researchr.org/publication/Lamport19c},
  cites = {0},
  citedby = {0},
  pages = {197-201},
  booktitle = {Concurrency: the Works of Leslie Lamport},
  editor = {Dahlia Malkhi},
  publisher = {ACM},
  isbn = {978-1-4503-7270-1},
}