1. Consider the following process definition. U def = a.V X def = a.b.Y Z def = U + X V def = b.V + b.a.U Y def = 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]

x def a.b.Y def 1. Consider the following process definition. u def a. V z def u + x V b.V + b.a.U Y def 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] x def a.b.Y def 1. Consider the following process definition. u def a. V z def u + x V b.V + b.a.U Y def 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]