How I came to write that paper with Leslie Lamport
Hacker News (score: 35)
Found: August 21, 2026
ID: 7132
Description
How I came to write that paper with Leslie Lamport
https://www.microsoft.com/en-us/research/publication/specifi...
More from Hacker
No other tools from this source yet.