For two protocols [A,B] and [G,H] and a significant message mapping setK, 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. S...