Transversal merge operation: a nondominated coterie construction method for distributed mutual exclusion | IEEE Journals & Magazine | IEEE Xplore