非对称X-演算相关硕士博士期刊学术论文 - 搜论网

非对称X-演算相关论文

非对称_χ-演算的符号互模拟验证算法

非对称x-演算是一种移动计算模型。文介绍非对称x-演算的语法和符号操作语义，给出非对称x-演算的符号互模拟的验证算法，该算法根据算......

期刊

进程代数非对称X-演算符号互模拟符号迁移图验证算法 Process algebra Asymmetric chi calculus Symbolic

看过本文同时还关注