An approach to protocol complementation for internetworking

To solve the protocol complementation problem step by step, the authors present three algorithms. They include transformation of the problem into a protocol synthesis problem, synthesis of a tree protocol, and construction of a conventional protocol for the virtual layer. One advantage of this approach is that it makes it possible to use existing protocol synthesis techniques. Another advantage is that, because this approach considers all the transition sequences in the intended interworking function between the original protocols, it can solve protocol internetworking problems which cannot be solved using protocol conversion or protocol overlapping techniques