Journal of Computer Networks and Communications

Research Article

Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Figure 3

The PE-SPECs synthesized from the S-SPEC given in Figure 2.
794960.fig.003