No me queda claro por qué no puede representarse el grafo de la diapositiva 12 del teórico de IntroConcurrencia. Es decir, este:
Por ejemplo haciendo:
Begin
So;
Cobegin
S1;
S2;
Coend
Cobegin
S3;
S4;
Coend
End
________________
Gracias!