I describe all the programming and non-programming stuff I do
Tuesday, April 12, 2005
Leslie Lamport's Web Page
Leslie lamport has had an online web page for quite a while now. If you are looking for any of his classical papers, there are all present there. You can also find information on TLA (The Temporal Logic of Actions) as well. Check out the book on TLA+ as well.