Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications

<table class="table-group" width="800px"><tr class="fig-image"><td><img alt="794960.fig.001a" src="https://static.hindawi.com/articles/jcnc/volume-2008/794960/figures/794960.fig.001a.jpg"/></td></tr><tr class="fig-caption"><td align="center"><table><tr><td><b>(a) </b>Communication service</td></tr></table></td></tr><tr class="fig-image"><td><img alt="794960.fig.001b" src="https://static.hindawi.com/articles/jcnc/volume-2008/794960/figures/794960.fig.001b.jpg"/></td></tr><tr class="fig-caption"><td align="center"><table><tr><td><b>(b) </b>Communication protocol</td></tr></table></td></tr></table>

<table>A communication system at two levels of abstractions.</table>

Journal of Computer Networks and Communications

fig1



										Figure 1



										Figure 1: Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications 