|
|||||
|
|
| 形式化多主体系统中的交互及交互协议 | |
| 作者姓名： | 焦文品 史忠植 |
| 作者单位： | 中国科学院计算技术研究所 |
| 基金项目： | 国家863高科技发展计划资助项目(863-306-ZT02-01-3) |
| 摘 要： | 深入研究了多主体系统中的交互及其协议,并用一种进程演算;即π演算进行了形式化的描述.为了研究主体之间的交互,首先对参与交互的主体的行为进行了分类,并形式化地描述了其行为规范,然后用进程定义了主体间的交互协议,并在此基础上分析了主体交互的一致性及无死锁性. |
| 关 键 词： | 多主体系统 交互 π演算 |
| 收稿时间： | 1999-05-10 |
| 修稿时间： | 1999-05-10 |
| 本文献已被 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载免费的PDF全文 | |