Sincronización Condicional Intercalación de instrucciones que obtiene la salida PA1 PB1 PA2 PB2 procAprocBcontinuar 1write( PA1 );false 2write( PB1 );false 3continuar := true;true 4write( PA2 );true 5while not continuartrue 6write( PB2 );true
{}