program sinccond;

process type tPA(var continuar:boolean);

begin

write('PA1 ');

continuar := true;

write('PA2 ');

end;

process type tPB(var continuar:boolean);

begin

write('PB1 ');

while not continuar do;

write('PB2 ');

end;

var

continuar: boolean;

procA:tPA; procB:tPB;

begin

continuar := false;

cobegin

procA(continuar);

procB(continuar);

coend;

end.