“Handler” process H_{i}^{P} (Q_{k}, m) =

(_{j=0}^{∞} P_{i}.r.Q_{j}^{I} → (H_{i}^{P} (Q_{j}, m) <| Q_{k} = NULL> | Q_{j}.c.P_{i}^{O} → H_{i}^{P} (Q_{k}, m)))

(Q_{k}.c.P_{i+1}^{O} → H_{i}^{P} (Q_{k}, T))
(_{j=0}^{∞} P_{i}.c.Q_{j}^{I} → ((P_{i+1}.r.Q_{j}^{O} → STOP) <| m> |
(H_{i}^{P} (Q_{j}, m) <| Q_{k} = NULL> | Q_{k}.c.P_{i}^{O} → H_{i}^{P} (Q_{j}, m))))

“Supervisor” process

U_{i}^{P} = _{j=0}^{∞} P_{i}.r.Q_{j}^{I} → (_{k=0}^{∞} Q_{k}.c.P_{i+1}^{O} → STOP)

An instance of a channel

P_{i} = U_{i}^{P} ∥ H_{i}^{P} (NULL, F)

Define

P_{i}^{R}(Q_{k}) = (_{l=0}^{∞} Q_{l}.c.P_{i+1}^{O} → STOP_{α(U_{i}^{P})}) ∥ H_{i}^{P} (Q_{k}, F)
P_{i}^{C}(Q_{k}) = U_{i}^{P} ∥ H_{i}^{P} (Q_{k}, F)
P_{i}^{M}(Q_{k}) = Q_{k}.c.P_{i+1}^{O} → (STOP_{α(U_{i}^{P})} ∥ H_{i}^{P} (Q_{k}, T))

The P_{i}s can be expanded to

P_{i} = (_{j=0}^{∞} P_{i}.r.Q_{j}^{I} → P_{i}^{R}(Q_{j})) (_{j=0}^{∞} P_{i}.c.Q_{j}^{I} → P_{i}^{C}(Q_{j}))
P_{i}^{R}(Q_{k}) = P_{i}^{M}(Q_{k}) (_{j=0}^{∞} P_{i}.c.Q_{j}^{I} → Q_{k}.c.P_{i}^{O} → P_{i}^{R}(Q_{j}))
P_{i}^{C}(Q_{k}) = (_{j=0}^{∞} P_{i}.r.Q_{j}^{I} → Q_{j}.c.P_{i}^{O} → P_{i}^{R}(Q_{k})) (_{j=0}^{∞} P_{i}.c.Q_{j}^{I} → Q_{k}.c.P_{i}^{O} → P_{i}^{C}(Q_{j}))
P_{i}^{M}(Q_{k}) = Q_{k}.c.P_{i+1}^{O} → (_{j=0}^{∞} P_{i}.c.Q_{j}^{I} → P_{i+1}.r.Q_{j}^{O} → STOP)