def def def Consider the following process definition. u a.V X a.b.Y z def u + x v del b.V + b.a.U 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. (b) Explain how the states U, X and Z differ from each other in the behaviour that they exhibit. [10 marks] def def def Consider the following process definition. u a.V X a.b.Y z def u + x v del b.V + b.a.U 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. (b) Explain how the states U, X and Z differ from each other in the behaviour that they exhibit. [10 marks]