A causa de las reglas impuestas por él en la definición de "wp", ambas construcciones permiten ejecuciones no-deterministas si los "guardianes" de los comandos no son disjuntos.