强互模拟相关论文
判定两个进程是否具有某种等价关系，是形式化验证的重要组成部分，很多种等价关系被定义出来以满足不同的验证需求，强互模拟等价和分支......
移动计算在人们的日常生活中扮演着日益重要的角色,Mobile Ambients是一种重要的刻画移动计算的进程演算系统。进程演算是描述并发......
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。论文主要给出了基于CCS的软件规范描述，首先根据系统需求画出进......
