tag:blogger.com,1999:blog-6194839.post111332943377829499..comments2023-09-28T19:11:49.467+05:30Comments on Balbir's Blog: Leslie Lamport's Web PageBalbirhttp://www.blogger.com/profile/17752733091129859385noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-6194839.post-1117023391438708972005-05-25T17:46:00.000+05:302005-05-25T17:46:00.000+05:30Yes, I completely agree. I hope we can encourage m...Yes, I completely agree. I hope we can encourage more people to use his excellent work and findings. Thanks for the comment Tristram!Balbirhttps://www.blogger.com/profile/17752733091129859385noreply@blogger.comtag:blogger.com,1999:blog-6194839.post-1116959382855001972005-05-24T23:59:00.000+05:302005-05-24T23:59:00.000+05:30I think Leslie Lamport's web site is one of the Se...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.<BR/><BR/>Tristram BrelstaffTristramhttps://www.blogger.com/profile/12106722292122336371noreply@blogger.com