On modeling and analyzing multi-agent systems using n-calculus

• 作 者: 于振华 蔡远利
• 机 构: SchoolofElectronicandInformationEngineering
• 出 处: 上海大学学报：英文版
• 发表日期: 2007年1期
• 关键词: Π演算 多AGENT系统 系统建模 动力体系 multi-agent systems g-calculus dynamic architecture mo
• 基金项目: Project supported by the National High-Technology Research and Development Program of China （Grant No.863- 2003AA721070）

<正>Dynamic architecture of multi-agent systems(MAS)is important for critical systems.As the existing formal specifications of MAS cannot describe its dynamic architecture,a formal approach usingπ-calculus is presented,which is suited for the describ