Design of divergence-free protocol converters using supervisory control techniques

In this paper, we use supervisory control techniques to design a protocol converter, which avoids divergence in a communication systems. A typical application is to design gateways that interface heterogeneous computer networks while minimizing the communication time with the involved parties. As an example, we design a divergence-free converter that interfaces an alternating bit sender and a non-sequenced receiver, and we implement the converter as an asynchronous circuit