The Writings of Leslie Lamporthttps://lamport.azurewebsites.net/pubs/pubs.html
Dijkstra's Concurrent Programming Problem On Self-stabilizing Systems On Programming Parallel Computers Parallel Execution on Array and Vector Computers Multiple Byte Processing w
That's everything I could find.
Help make me smarter by submitting a page.