A Science of Concurrent Programs – draft (2024) [pdf]lamport.azurewebsites.net11 pointsmirzap2 years ago