Message complexity of the tree quorum algorithm for distributed mutual exclusion | IEEE Conference Publication | IEEE Xplore