Partial mutual exclusion for infinitely many processes

Re-assign community