[jbert]

Thanks, that's a great paper (above link is timing out, I got it from this page):

http://research.microsoft.com/en-us/um/people/lamport/pubs/p...