论文部分内容阅读
描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便但在实际中，使用异步机制将机制将不可避免。基于霍尔的“通信顺序进程”和其他通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用休种实现通信机制的情况下都将保证通信协议的正确性。
基于通信顺序进行的计算机网络通信协议形式化描述
【摘 要】
：
描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便但在实际中，使用异步机制将机制将不可避免。基于霍尔的“通信顺序进程”和其他通信协议描述与设计的理论研究
【机 构】
：
贝尔法斯特女皇大学计算机系,蒂蒙特福特大学计算机系
【出 处】
：
北京大学学报：自然科学版
【发表日期】
：
1997年1期
其他文献
密切联系群众是我们党最大的政治优势。正是因为有了人民群众的拥护，我们党才能够从小到大．从弱到强，赢得执政地位。全心全意为人民服务．勤勤恳恳做人民公仆．是一代又一代中国共产
用电化学方法研究了青蒿素与氯化血红素之间的相互作用。青蒿素在玻璃碳电极上于－1.08V处能发生一个2电子转移的不可逆还原。即使在低至4.0×10^-8mol/L氯化血红素存在下，
新世纪以来，我圉文化建设投入不断增加．并依据城乡具体情况和符地区的差异有所倾斜，为公共文化服务体系提供了基本保障。“十一五”前4年，全国文化事业费总计超过900亿元，年均增幅
以警告信号加足底电击的方式（简称信号电击）对不同年龄、性别和种类小鼠进行应激，每天２４ｍｉｎ，共７ｄ。结果发现，应激后免疫器官退化，重量减轻，而且这种变化与年龄和性别有关。胸腺退化，年龄大的
恒信精功打造的集宁现代物流园区位于乌兰察布市集宁区和察右前旗交界处。项目占地面积15平方公里，基础设旋总投资100亿元人民币，分三期建设，全部建成投产后，将实现产值500亿元，实
深圳市宝安区作为深圳西岸的工业大区,工业污染问题较为突出.本文分析了宝安区工业污染当前存在问题及其成因,针对工业企业产业结构不合理、企业守法意识淡薄等问题,提出了相
<正> 华富小学创办于1989年9月,坐落在深圳笔架山下,占地面积9826平方米,建筑面积8508平方米,绿化面积2940.8平方米,绿化率72.8%,现有教学班27个,学生1316人,教职工73人,大专
将环Ｒ的分式环Ｓ＾－１Ｒ上的模Ｍｓ－１Ｒ“限制”到Ｒ上时，模理论的纯性、纯入射性、初等等价、初等嵌入等模型论都是保持的。还 讨论了（Ｓ＾－１Ｍ）ｓ＾－１Ｒ与ＭＲ之间模型论性质的保持性
<正> 《国务院关于环境保护若干问题的决定》明确规定:“到2000年,全国所有工业污染源排放污染物要达到国家或地方规定的标准;各省、自治区、直辖市要使本辖区主要污染物排放