形式化多主体系统中的交互及交互协议

摘要：

深入研究了多主体系统中的交互及其协议,并用一种进程演算;即π演算进行了形式化的描述.为了研究主体之间的交互,首先对参与交互的主体的行为进行了分类,并形式化地描述了其行为规范,然后用进程定义了主体间的交互协议,并在此基础上分析了主体交互的一致性及无死锁性.

关键词：多主体系统、交互、π演算

所属期刊栏目：12

分类号：TP18(自动化基础理论)

资助基金：国家高技术研究发展计划863计划863-306-ZT02-01-3

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1177-1182