Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Figure 6

An application of the procedure given in Algorithm 5 for the PE-${\text{SPEC}}_1$ given in Figure 3.

(a) Step 1.3

(b) Step 1.4

(c) Step 1.5

(d) Step 1.6 and 1.8