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").
Concurrency: The Works of Leslie Lamport
1 reader recommends it across 1 discussion