Section PARALLEL_OPERATORS.
Variable x y z : proc.
Variable E F : Set.
Variable e : E.
Variable f : F.
Variable a b : act.

Axiom CM4 : alt (Lmer x z) (Lmer y z) = Lmer (alt x y) z.
Axiom
CM5 :
seq (comm (ia E a e) (ia F b f)) x = comm (seq (ia E a e) x) (ia F b f).