Document d'enregistrement universel 2022 | Alten

... g4 evaluates to true and the machine transitions to D. A subtle question is what happens if both guards g1 and g4 evaluate to true. Different. 126. Lee ...