Leslie Lamport's writings

I came across a site which collects and summarises the writings of an amazing person -- Leslie Lamport. This site also gives links to the actual papers, so you can download them too. Take a look at ::



https://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html

partha

PS Sad thing is, Lamport works for Microsoft ;-(

PPS: You can also get to know Lamport, from his home page at::


http://research.microsoft.com/en-us/um/people/lamport/