绝对安全性质相关硕士博士期刊学术论文

在进程代数框架内基于算子的性质研究抽象安全性质及其偏序关系,定义了复合不变安全性质和可构造安全性质.首先证明进程代数算子在......