For more, I recommend reading "Concurency: The works of Leslie Lamport". https://dl.acm.org/doi/book/10.1145/3335772#issue-downloads https://dl.acm.org/doi/boo

For more, I recommend reading "Concurency: The works of Leslie Lamport". https://dl.acm.org/doi/book/10.1145/3335772#issue-downloads https://dl.acm.org/doi/book/10.1145/3335772#issue-downloads All of the chapters are freely available (scroll down to "Book Downloads").