带口令的安全盒子环境演算

带口令的安全盒子环境演算是对原有的移动环境演算的改进,避免了移动环境演算中open操作所带来的干扰,加强了环境对其自身边界的控制能力,实现了对环境的回收。文中给出了SBAP的语法和语义定义,用SBAP对Pi-演算中的匹配算子进行了改写,并对电子邮件系统进行了描述和仿真。

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究.在考虑了复制操作和限制操作的情况下,提出了逻辑等价的协归纳操作描述,并利用协归纳关系与进程结构同余关系进行比较,证明了若对MA加上约束条件得到子集MAsynIF,此时逻辑等价(=L)与结构同余关系是等价的,即AL在MAsynIF中是内涵的.同时发现由于复制操作的存在,AL的内涵性受到了影响,使得AL的区分能力被削弱,但通过对复制公式的构造验证了AL的表达能力.