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