Lîm Tsú-thuàn
Posts
Notes
Projects
Talks
Site Roll
search
⌘K
Reference.
A Science of Concurrent Programs
[lamport2024]
2024
·
Leslie B. Lamport
https://lamport.azurewebsites.net/tla/science.pdf