| BSP用于分布式系统的协议规范 |
| |
| 引用本文： | 王生原,田存生.BSP用于分布式系统的协议规范[J].兰州大学学报(自然科学版),1995,31(4):89-94. |
| |
| 作者姓名： | 王生原 田存生 |
| |
| 作者单位： | 兰州大学计算机科学系，兰州大学电子与信息科学系 |
| |
| 摘 要： | ＢＳＰ是一种带有广播原语的分布式语言，能很好地支持分布式系统的消息传递。本文强调了ＢＳＰ在分布式系统协议规范方面的应用，并完成了对ＯＳＩ参考模型的网络协议以及数据库并控制的ｔｉｍｅｓｔａｍｐ协议的规范说明。
|
| 关 键 词： | 分布计算机 BSP 协议 分布式语言 分布式系统 |
Specification of Distributed System Protocol in BSP |
| |
| Wang Shengyuan, Yang Ping.Specification of Distributed System Protocol in BSP[J].Journal of Lanzhou University(Natural Science),1995,31(4):89-94. |
| |
| Authors: | Wang Shengyuan Yang Ping |
| |
| Abstract: | BSP(Broadcasting sequential processes), a distributed language with broadcasting primitives, is used for the protocol specification of distributed system, as illustrated with the transportation protocol of OSI reference model and the timestamp protocol of database concurrent control. |
| |
| Keywords: | distributed computers BSP protocol concurrent control OSI model timestamp process transaction |
| 本文献已被 CNKI 维普 等数据库收录！ |
