|
|
Boost : |
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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk