« Home
Reference.
A Science of Concurrent Programs
[lamport2024]
2024
·
Leslie B. Lamport
https://lamport.azurewebsites.net/tla/science.pdf