Self-stabilizing local mutual exclusion on networks in which process identifiers are not distinct | IEEE Conference Publication | IEEE Xplore