//Insert declarations of global clocks, variables, constants and channels. //Insert process assignments. Q:=P(); R:=Q(); //Edit system definition. system Q,R;