Offline
day
week
How I came to write that paper with Leslie Lamport
38 points
|
lawrencecpaulson.github.io
|
baruchel
|
7hrs
https://www.microsoft.com/en-us/research/publication/specifi...