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:
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
Yes, I completely agree. I hope we can encourage more people to use his excellent work and findings. Thanks for the comment Tristram!
Post a Comment