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