//Insert declarations of global clocks, variables, constants and channels. int n := 1; chan a; //Insert process assignments. //Edit system definition. system P, P0;