Excellent timing on this post. Just yesterday I explained Lamport Logical Clocks to a colleague, and suggested that he should go read some of Lamport's papers.

Now I have a nice central collection to point him at. Thanks for the link!