DIStributed SEMaphore