Gary Chambers wrote:
> Possibly. Have you tested this?

Not on Monitor; Monitor>>#exit/#enter are used elsewhere, and as I said 
the code is messy enough that you'd better be sure that Monitor-using 
processes is never terminated.

> For the moment, to allow us to move on, we've switched to Semaphores and avaoided nesting.

You could instead use Mutex, since I now found out that 
Mutex>>#critical: is basically the code I posted.

Paolo