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.

2 comments:

Tristram said...

I think Leslie Lamport's web site is one of the Seven Wonders of the Computing Science World. I have spend many happy hours on the train to and from work, reading copies of papers I have printed off from there. My favorites are probably "The Temporal Logic of Actions" and "Should Your Specification Language Be Typed?" (with Larry Paulson). I have even been able to use ideas from some of his earlier papers in my work as a avionics software engineer.

Tristram Brelstaff

Balbir said...

Yes, I completely agree. I hope we can encourage more people to use his excellent work and findings. Thanks for the comment Tristram!

Ranking and Unranking permutations

I've been a big fan of Skiena's Algorithm Design Manual , I recently found my first edition of the book (although I own the third ed...