I'm embarrassed to include myself among the ignorant masses--I just assumed this was for his work on LaTeX. The distributed systems stuff sounds much more interesting though. Looks like I have some reading to do!
http://research.microsoft.com/en-us/um/people/lamport/pubs/p...