Buenas, tengo una duda con respecto al ejemplo de grafo no representable con Cobegin-Coend que se muestra en la clase "Introducción a la concurrencia" en openfing. El siguiente código, no resolvería el problema?
Begin
s0;
Cobegin
s1;
s2;
Coend
s3;
Cobegin
s4;
s5;
Coend
s6;
End