There you go.[0] I believe it's called the 'arbiter problem' in that context, and your description seems basically correct.
[0]: http://research.microsoft.com/en-us/um/people/lamport/pubs/b...
[0]: http://research.microsoft.com/en-us/um/people/lamport/pubs/b...
I'm trying to improve my intuition for why the physical exmaples in it are right. I found the examples of inevitable crashes and collisions disconcerting.