Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Figure 5

An application of the procedure given in Algorithm 4 for the PE-${\text{SPEC}}_2$ and PE-${\text{SPEC}}_3$ given in Figure 3.

(a) PE-${\text{SPEC}}_2$: Step 2

(b) PE-${\text{SPEC}}_2$ after Step 5

(c) PE-${\text{SPEC}}_3$