封箱演算相关硕士博士期刊学术论文

组织是群体对抗的主要形式.一个好的组织模型有利于提高规划识别的精度和效率.封箱(seal)演算是π-演算的变体.将封箱演算引入动态......