Exercise: Write a process definition for a process Z with four arguments, which consists of a sequential composition of an instance of P given the first two arguments as initial values, and a second instance of P given the second two values as initial parameters.

Z<a,b,c,d> = P<a,b> ; P<c,d> .

-- (c) Fordham University Robotics and Computer Vision