非对称Chi-演算的符号互模拟,黄银强,钟发荣,非对称chi-演算是一种移动计算模型。本文在给出非对称chi-演算的语法和转移语义的基础上,定义该演算的开互模拟关系,同时给出该演�