diverge.txt

G ==w==> G          G ==w==> G
-------             -------
π1.G ==w==> π1.G    π2.G ==w==> π2.G
--------------------
G = π1.G  +p  π2.G  ==w==>  G1 +p G2 = G

where subj(w) \cap subj(π1) U subj(π2) = \emptyset

loadbalancing.txt

G = μt.( 
     w1 --> s:l.t
  +s w2 --> s:l.t
  +s w3 --> s:l.t
)

G \neq (mu t. w1 -> s) + (mu t. w2 -> s) + (mu t. w3 -> s)

epp(G,s) = μt. (w1?l.t + w2?l.t + w3?l.t)

epp(G,w1) =
  μt. (w1!s.t ⊔ t ⊔ t) = μt. w1!s.t