seal-calculus相关论文
动态联盟协同设计组织模型强调动态可重构的组织结构.目前提出的组织模型和建模思想,缺乏对模型中的动态过程的形式化描述,对资源......
为完善Seal演算的自身性质及形式化证明移动代码的安全性,从上下文等价性角度研究了Seal演算的等式特性及其应用.首先定义了Seal演......
