Distributed Semaphore In A Messenger Environment DI MARZO