// Number of processes const int N = 2; int[0,1] flag[N]; int[0,1] turn;P0 = P(0); P1 = P(1); system P0,P1;