Distributed mutual exclusion algorithm.