%0 Journal Article
%T 形式化多主体系统中的交互及交互协议
%A 史忠植
%A 焦文品
%J -
%D 2001
%X 深入研究了多主体系统中的交互及其协议,并用一种进程演算;即π演算进行了形式化的描述.为了研究主体之间的交互,首先对参与交互的主体的行为进行了分类,并形式化地描述了其行为规范,然后用进程定义了主体间的交互协议,并在此基础上分析了主体交互的一致性及无死锁性
%K 多主体系统 交互 π演算
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20010809&flag=1