The Writings of Leslie Lamport

https://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

Emergent Technologies Inc. -- Security Kernel</TITLE

http://mumble.net/~jar/pubs/secureos/secureos.html

operating systems and programming environments. This report describes Scheme 48, a programming environment whose design is guided by established principles of operating system sec
CADR

That's everything I could find.
Help make me smarter by submitting a page.