=
  \{e_0,\ldots,e_7\}$. The process relation is given by $e_i \to e_{i+1}$, $f_i
  \to f_{i+1}$, and $g_i \to g_{i+1}$ for all $i \in \{0,\ldots,6\}$. Concerning the message relation, we have $e_1 {\lhd}f_0$, $e_4 {\lhd}g_5$, etc. Moreover, $e_2 \le f_3$, but neither $e_2 \le f_1$ nor $f_1 \le
  e_2$.

(e0) at (0.25,2) ; (f0) at (0.25,0) ; (e0) – (f0);

(e1) at (1.125,2) ; (g0) at (1.125,1) ; (e1) – (g0);

(e2) at (2,2) ; (f1) at (2,0) ; (e2) – (f1);

(g1) at (3,1) ; (f2) at (3.75,0) ; (g1) – (f2);

(e3) at (4,2) ; (g2) at (4,1) ; (e3) – (g2);

(g3) at (5,1) ; (f3) at (5.5,0) ; (g3) – (f3);

(e4) at (5,2) ; (f5) at (8.75,0) ; (e4) – (f5);

(e5) at (6,2) ; (g4) at (6,1) ; (e5) – (g4);

(g5) at (7.5,1) ; (f4) at (7.5,0) ; (g5) – (f4);

(e6) at (9,2) ; (f6) at (10.5,0) ; (e6) – (f6);

(e7) at (11,2) ; (g6) at (11,1) ; (e7) – (g6);

(g7) at (12,1) ; (f7) at (12,0) ; (g7) – (f7);

(e0) – (e1); (e1) – (e2); (e2) – (e3); (e3) – (e4); (e4) – (e5); (e5) – (e6); (e6) – (e7);

