An extended binary tree quorum strategy for K-mutual exclusion in distributed systems | IEEE Conference Publication | IEEE Xplore