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

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