z del u + x 1. Consider the following process definition. u del av V del b.V + b.a.u a.b.Y b.Y + a.X (a) Draw a labelled transition system for the above process definition. Label every state with the process expression representing that state. [10 marks) (b) Explain how the states U, X and Z differ from each other in the behaviour that they exhibit. z del u + x 1. Consider the following process definition. u del av V del b.V + b.a.u a.b.Y b.Y + a.X (a) Draw a labelled transition system for the above process definition. Label every state with the process expression representing that state. [10 marks) (b) Explain how the states U, X and Z differ from each other in the behaviour that they exhibit