Let P be the process defined by the expression ν def .(K1|K2|K3), where K1 = f.a.d.K1 K2 = d.b.e.K2 K3 = f.e.c.K3 and let H be the process defined by the equation H = a.b.c.H a) Give labelled...

Let P be the process defined by the expression ν def .(K1|K2|K3), where

K1 = f.a.d.K1

K2 = d.b.e.K2

K3 = f.e.c.K3

and let H be the process defined by the equation

H = a.b.c.H

a) Give labelled transition systems for P and for H.

b) Show that P ∼ H.