Explorations

Two processes, one critical section

category: exploration

Choose the interleaving of individually atomic Peterson steps and inspect the assumptions behind the Lean model.