Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Figure 4

Application of partitioning procedure on the PE-SPECs given in Figure 3.

(a) $G_2$ for PE-${\text{SPEC}}_1$

(b) $G_1$ and $G_2$ for PE-${\text{SPEC}}_2$