For more, I recommend reading "Concurency: The works of Leslie Lamport".

https://dl.acm.org/doi/book/10.1145/3335772#issue-downloads

All of the chapters are freely available (scroll down to "Book Downloads").