Ejemplo Grafo no respresentable

Ejemplo Grafo no respresentable

de Ignacio Cabrera -
Número de respuestas: 0

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