Figure 9From: Clock refinement in imperative synchronous languages Transition rules II (parallel execution). Back to article page