Leslie Lamport's Home Page
Leslie Lamport's Home Page The author of LaTeX here lists all his publications, with annotations/comments on each and links to electronic versions as appropriate. He has been very active in formal mathematical approaches to distributed computing over a number of decades.
Ironically, he is now working for Microsoft, which he had earlier referred to as "Going over to the dark side" c.f.
How (La)TeX changed the face of Mathematics
Mitteilungen der Deutschen Mathematiker-Vereinigung 1/2000 (Jan 2000) 49-51.
Posted by mofoghlu at January 5, 2003 04:10 PM