通信协议转换器的性质

给定通信协议［ａ，ｂ］，［ｇ，ｈ］和重要信息映射集合ｋ，可以构造ｂ和ｇ关于ｋ的对偶积作为这两个协议关于ｋ的转换器ｃ．本文讨论这种协议转换模型［ａ，ｃ，ｈ］的死锁和活锁的性质，并给出这种协议转换模型没有死锁和活锁的充要条件．