###
DOI:
Journal of Software:1995.6(2):99-106

通信协议转换器的性质
赵锦蓉
(清华大学计算中心,北京,100084)
THE PROPERTIES OF PROTOCOL CONVERTERS
Zhao Jinrong
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3483   Download 3001
Received:June 23, 1992    Revised:December 01, 1992
> 中文摘要: 给定通信协议[A,B],[G,H]和重要信息映射集合,可以构造B和G关于K的对偶积作为这两个协议关于的转换器.本文讨论这种协议转换模型[A,C,H]的死锁和活锁的性质,并给出这种协议转换模型没有死锁和活锁的充要条件.
Abstract: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.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

赵锦蓉.通信协议转换器的性质.软件学报,1995,6(2):99-106

Zhao Jinrong.THE PROPERTIES OF PROTOCOL CONVERTERS.Journal of Software,1995,6(2):99-106