Research Article

Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Figure 2

A service specification example.
794960.fig.002