THE PROPERTIES OF PROTOCOL CONVERTERS
通信协议转换器的性质

For two protocols A,B] and G,H] and a significant message mapping set K, this paper can construct the converter C of these two protocols with respect to K as the coupled product of B and G with K. This paper discusses the properties of such a protocol conversion model A,C,H], specifically the properties of its freedom from deadlocks andlivelocks. Some sufficient and necessary conditions are given.