From: Bill Rutiser (wru_at_[hidden])
Date: 2000-08-25 09:05:23
Let me add a warning about informal reasoning about concurrent
processes. There exist clever, efficient, synchronization schemes,
proved to be correct for two processes, that fail badly for three.
-- Bill Rutiser