How I came to write that paper with Leslie Lamport
Posted 6 hours ago by
baruchel
35
points
https://lawrencecpaulson.github.io//2026/08/21/Lamport.html
https://www.microsoft.com/en-us/research/publication/specifi...
4
comments
Loading..
Loading..
Loading..
Loading..