Boost logo

Boost :

From: Valentin Bonnard (Bonnard.V_at_[hidden])
Date: 2000-08-10 21:34:17


On Thu, Aug 10, 2000 at 11:57:56AM -0500, Greg Colvin wrote:

> There are also proofs
> that monitors, mutexes, and semaphores are formally equivalent,
> in the sense that given one you can write the others.

Seriously, who cares about that ?

-- 
Valentin Bonnard

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk