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