Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把(演......

<正>Dynamic architecture of multi-agent systems(MAS)is important for critical systems.As the existing formal specificati......